summaryrefslogtreecommitdiff
path: root/library/algebra/monoid.tex
diff options
context:
space:
mode:
authoradelon <22380201+adelon@users.noreply.github.com>2025-07-02 20:28:22 +0200
committerGitHub <noreply@github.com>2025-07-02 20:28:22 +0200
commit793849dd0b20bc70ea0e0ecfd5008a3806eca0d9 (patch)
tree280949f358a695c5471212cc5b22950399d8cd57 /library/algebra/monoid.tex
parent3caadfbe0fdb417b8edebc17002ddafe795a4bcc (diff)
parent8fd49ae84e8cc4524c19b20fa0aabb4e77a46cd5 (diff)
Merge pull request #2 from Simon-Kor/main
Merge (finally)
Diffstat (limited to 'library/algebra/monoid.tex')
-rw-r--r--library/algebra/monoid.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/library/algebra/monoid.tex b/library/algebra/monoid.tex
index 06fcb50..3249a93 100644
--- a/library/algebra/monoid.tex
+++ b/library/algebra/monoid.tex
@@ -1,5 +1,5 @@
\import{algebra/semigroup.tex}
-\section{Monoid}
+\section{Monoid}\label{form_sec_monoid}
\begin{struct}\label{monoid}
A monoid $A$ is a semigroup equipped with