fixup! e99be63

Author: dschepler

databases/catdat/data/003_category-property-assignments/Grp.sql

@@ -47,12 +47,6 @@ VALUES
 	TRUE,
 	'Since epimorphisms are surjective (see below), this is the first isomorphism theorem for groups.'
 ),
-(
-	'Grp',
-	'effective cocongruences',
-	TRUE,
-	'A proof can be found <a href="/pdf/cocongruences_of_groups.pdf">here</a>.'
-),
 (
 	'Grp',
 	'normal',