---

Step * of Lemma abdgrp_properties

∀[g:AbDGrp]. IsEqFun(|g|;=b)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[g:AbDGrp].  IsEqFun(|g|;=\msubb{})


By

---

Latex:
ProvePropertiesLemma

---

Home Index