---

Step * of Lemma ocgrp_properties

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

---

Latex:

---

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


By

---

Latex:
Try  ProvePropertiesLemma

---

Home Index