Metamath Proof Explorer

Table of Contents - 20.43.16.2. Magmas, Semigroups and Monoids (extension)

  1. plusfreseq
  2. mgmplusfreseq
  3. 0mgm
  4. mgmpropd
  5. ismgmd