---

Step * of Lemma cubical-interval-ap_wf

∀[I:Cname List]. ∀[u:cubical-interval()(I)]. ∀[L:name-morph(I;[])].  (u(L) ∈ ℕ2)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[I:Cname  List].  \mforall{}[u:cubical-interval()(I)].  \mforall{}[L:name-morph(I;[])].    (u(L)  \mmember{}  \mBbbN{}2)


By

---

Latex:
ProveWfLemma

---

Home Index