---

Step * of Lemma grp_car_subtype

|(<ℤ+>↓hgrp)| ⊆r ℕ
BY
{ ((D 0 THENM MemTypeCD) THEN Auto)⋅ }

---

Latex:

---

Latex:
|(<\mBbbZ{}+>\mdownarrow{}hgrp)|  \msubseteq{}r  \mBbbN{}


By

---

Latex:
((D  0  THENM  MemTypeCD)  THEN  Auto)\mcdot{}

---

Home Index