---

Step * of Lemma grp_properties

∀[g:Group{i}]. Inverse(|g|;*;e;~)
BY
{ ProvePropertiesLemma }

---

Latex:

---

Latex:
\mforall{}[g:Group\{i\}].  Inverse(|g|;*;e;\msim{})


By

---

Latex:
ProvePropertiesLemma

---

Home Index