---

Step * of Lemma dM-lift_wf2

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index