---

Step * of Lemma dM-lift-0

∀[I,J:fset(ℕ)]. ∀[f:I ⟶ J].  ((dM-lift(I;J;f) 0) = 0 ∈ Point(dM(I)))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[I,J:fset(\mBbbN{})].  \mforall{}[f:I  {}\mrightarrow{}  J].    ((dM-lift(I;J;f)  0)  =  0)


By

---

Latex:
Auto

---

Home Index