---

Step * of Lemma hgrp_car_properties

∀[g:GrpSig]. ∀[x:|g|+].  (e ≤ x)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[g:GrpSig].  \mforall{}[x:|g|\msupplus{}].    (e  \mleq{}  x)


By

---

Latex:
ProvePropertiesLemma

---

Home Index