---

Step * of Lemma no_repeats_upto

∀[n:ℕ]. (no_repeats(ℤ;upto(n)) ∧ no_repeats(ℕn;upto(n)))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  (no\_repeats(\mBbbZ{};upto(n))  \mwedge{}  no\_repeats(\mBbbN{}n;upto(n)))


By

---

Latex:
Auto

---

Home Index