Metamath Proof Explorer

Table of Contents - 21.50.17.3. Alternative definitions for magmas and semigroups

1. cmgm2
2. ccmgm2
3. csgrp2
4. ccsgrp2
5. df-mgm2
6. df-cmgm2
7. df-sgrp2
8. df-csgrp2
9. ismgmALT
10. iscmgmALT
11. issgrpALT
12. iscsgrpALT
13. mgm2mgm
14. sgrp2sgrp