better titles

UniMath · Sep 5, 2024 · 21c22e1 · 21c22e1
1 parent 0438ace
commit 21c22e1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/absgroup.tex b/absgroup.tex
@@ -1,4 +1,4 @@
-\chapter{Abstract groups}
+\chapter{Groups, abstractly}
 \label{ch:absgroup}
 
 \section{Brief overview of the chapter}

diff --git a/actions.tex b/actions.tex
@@ -1227,7 +1227,7 @@ \section{The orbit-stabilizer theorem}
 
 % Interaction with cardinality: if G acts freely on S, then card(S/G) = card(S)/card(G)
 
-\section{(the lemma that is not) Burnside's lemma}
+\section{The lemma that is not Burnside's}
 \label{sec:burnsides-lemma}
 \label{lem:burnsides-lemma}