---

Step * of Lemma separated-partitions_wf

∀I:Interval. ∀P,Q:partition(I).  (separated-partitions(P;Q) ∈ ℙ) supposing icompact(I)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}I:Interval.  \mforall{}P,Q:partition(I).    (separated-partitions(P;Q)  \mmember{}  \mBbbP{})  supposing  icompact(I)


By

---

Latex:
ProveWfLemma

---

Home Index