---

Step * of Lemma dM-lift-1

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index