---

Step * of Lemma rat-complex-boundary-0-dim

∀[k:ℕ]. ∀[K:0-dim-complex].  (∂(K) ~ [])
BY
{ ((Auto THEN D -1) THEN (Assert (∀c∈K.dim(c) = 0 ∈ ℤ) BY (Unhide THEN Auto)) THEN EAuto 1) }

---

Latex:

---

Latex:
\mforall{}[k:\mBbbN{}].  \mforall{}[K:0-dim-complex].    (\mpartial{}(K)  \msim{}  [])


By

---

Latex:
((Auto  THEN  D  -1)  THEN  (Assert  (\mforall{}c\mmember{}K.dim(c)  =  0)  BY  (Unhide  THEN  Auto))  THEN  EAuto  1)

---

Home Index