summaryrefslogtreecommitdiff
path: root/library/algebra/group.tex
diff options
context:
space:
mode:
Diffstat (limited to 'library/algebra/group.tex')
-rw-r--r--library/algebra/group.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/library/algebra/group.tex b/library/algebra/group.tex
index 7de1051..449bacb 100644
--- a/library/algebra/group.tex
+++ b/library/algebra/group.tex
@@ -1,5 +1,5 @@
\import{algebra/monoid.tex}
-\section{Group}
+\section{Group}\label{form_sec_group}
\begin{struct}\label{group}
A group $G$ is a monoid such that