---

Step * of Lemma mesh-trivial-partition

∀[I:Top]. (partition-mesh(I;[]) ~ |I|)
BY
{ (RepUR ``partition-mesh full-partition frs-mesh rmaximum i-length `` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[I:Top].  (partition-mesh(I;[])  \msim{}  |I|)


By

---

Latex:
(RepUR  ``partition-mesh  full-partition  frs-mesh  rmaximum  i-length  ``  0  THEN  Auto)

---

Home Index