From 9dbb8e59185dcf20a04817da199bcd03bb61de81 Mon Sep 17 00:00:00 2001 From: Ali Caglayan Date: Wed, 15 Jan 2025 19:35:34 +0100 Subject: [PATCH] Update theories/Algebra/Groups/Subgroup.v Co-authored-by: Dan Christensen --- theories/Algebra/Groups/Subgroup.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/theories/Algebra/Groups/Subgroup.v b/theories/Algebra/Groups/Subgroup.v index b9f732e65b..29f420e32e 100644 --- a/theories/Algebra/Groups/Subgroup.v +++ b/theories/Algebra/Groups/Subgroup.v @@ -557,7 +557,7 @@ Defined. (** *** Maximal Subgroups *) -(** Every group is a (maximal) subgroup of itself *) +(** Every group is a (maximal) subgroup of itself. *) Definition maximal_subgroup G : Subgroup G. Proof. rapply (Build_Subgroup G (fun x => Unit)).