---

Step * of Lemma rat-complex-iter-subdiv_wf

No Annotations
∀[k,n:ℕ]. ∀[K:n-dim-complex]. ∀[j:ℕ].  (K'^(j) ∈ n-dim-complex)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[k,n:\mBbbN{}].  \mforall{}[K:n-dim-complex].  \mforall{}[j:\mBbbN{}].    (K'\^{}(j)  \mmember{}  n-dim-complex)


By

---

Latex:
ProveWfLemma

---

Home Index