Update theories/Algebra/Groups/Subgroup.v

Co-authored-by: Dan Christensen <jdc+github@uwo.ca>
HoTT · Jan 15, 2025 · 9dbb8e5 · 9dbb8e5
1 parent 772137f
commit 9dbb8e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)).