From df78f6c0c47a27c3fe745cbbfe0409fab87748c0 Mon Sep 17 00:00:00 2001
From: Ulrik Buchholtz <ulrikbuchholtz@gmail.com>
Date: Mon, 16 Oct 2023 15:35:18 +0100
Subject: [PATCH] Update src/group-theory/perfect-subgroups.lagda.md

Co-authored-by: Fredrik Bakke <fredrbak@gmail.com>
---
 src/group-theory/perfect-subgroups.lagda.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/group-theory/perfect-subgroups.lagda.md b/src/group-theory/perfect-subgroups.lagda.md
index b60ac79034..9e4dac3fc1 100644
--- 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.