---

Step * of Lemma names-subtype

∀[I,J:fset(ℕ)].  names(I) ⊆r names(J) supposing I ⊆ J
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[I,J:fset(\mBbbN{})].    names(I)  \msubseteq{}r  names(J)  supposing  I  \msubseteq{}  J


By

---

Latex:
Auto

---

Home Index