---

Step * of Lemma mon_properties

∀[g:Mon]. IsMonoid(|g|;*;e)
BY
{ D 0 THENA Auto  }

1
1. g : Mon
⊢ IsMonoid(|g|;*;e)

---

Latex:

---

Latex:
\mforall{}[g:Mon].  IsMonoid(|g|;*;e)


By

---

Latex:
D  0  THENA  Auto 

---

Home Index