Move 'monoid of endomorphisms' subsection from my mathbox to Main. Sh…

…orten a few proofs.
metamath · Sep 26, 2024 · f0d78fa · f0d78fa
1 parent 1c46a35
commit f0d78fa
Show file tree

Hide file tree

Showing 2 changed files with 130 additions and 98 deletions.
diff --git a/discouraged b/discouraged
diff --git a/set.mm b/set.mm