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