fix

UniMath · Nov 11, 2023 · e3e2835 · e3e2835
1 parent a406bdb
commit e3e2835
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/group-theory/epimorphisms-groups.lagda.md b/src/group-theory/epimorphisms-groups.lagda.md
@@ -66,7 +66,7 @@ module _
   is-epi-iso-Group :
     is-epi-Group l3 G H (hom-iso-Group G H f)
   is-epi-iso-Group =
-    is-epi-iso-Large-Precategory Group-Large-Precategory l3 G H f
+    is-epi-iso-Large-Precategory Group-Large-Precategory l3 {G} {H} f
 ```
 
 ### A group homomorphism is surjective if and only if it is an epimorphism