---

Step * of Lemma igrp_properties

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

---

Latex:

---

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


By

---

Latex:
ProvePropertiesLemma

---

Home Index