first tiny edits post refactor

UniMath · Aug 30, 2024 · 00ba718 · 00ba718
1 parent 1c17272
commit 00ba718
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/group.tex b/group.tex
@@ -1,4 +1,4 @@
-\chapter{Groups}
+\chapter{Groups, concretely}
 \label{ch:groups}
 
 

diff --git a/subgroups.tex b/subgroups.tex
@@ -1,4 +1,4 @@
-\chapter{Subgroups}
+\chapter{Normal subgroups and quotients}
 \label{ch:subgroups}