---

Step * of Lemma int_seg_equality

∀[m,n:ℤ]. ∀[x:{m..n-}].  ∀y:ℤ. x = y ∈ {m..n-} supposing x = y ∈ ℤ
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[m,n:\mBbbZ{}].  \mforall{}[x:\{m..n\msupminus{}\}].    \mforall{}y:\mBbbZ{}.  x  =  y  supposing  x  =  y


By

---

Latex:
Auto

---

Home Index