---

Step * of Lemma unit-interval-fan_wf

∀[f:ℕ ⟶ 𝔹]. ∀[n:ℕ].  (unit-interval-fan(f;n) ∈ ℤ × ℤ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[f:\mBbbN{}  {}\mrightarrow{}  \mBbbB{}].  \mforall{}[n:\mBbbN{}].    (unit-interval-fan(f;n)  \mmember{}  \mBbbZ{}  \mtimes{}  \mBbbZ{})


By

---

Latex:
ProveWfLemma

---

Home Index