Update src/group-theory/perfect-subgroups.lagda.md

Co-authored-by: Fredrik Bakke <[email protected]>
UniMath · Oct 16, 2023 · df78f6c · df78f6c
1 parent 28867dc
commit df78f6c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/group-theory/perfect-subgroups.lagda.md b/src/group-theory/perfect-subgroups.lagda.md
@@ -42,4 +42,6 @@ module _
   is-prop-is-perfect-Subgroup = is-prop-type-Prop is-perfect-prop-Subgroup
 ```
 
+## External links
+
 A wikidata identifier was not available for this concept.