---

Step * of Lemma grp_subtype_grp_sig

Group{i} ⊆r GrpSig
BY
{ Auto }

---

Latex:

---

Latex:
Group\{i\}  \msubseteq{}r  GrpSig


By

---

Latex:
Auto

---

Home Index