Step
*
of Lemma
int_trichot
∀i,j:ℤ. (i < j ∨ (i = j ∈ ℤ) ∨ (i > j))
BY
{ Auto }
Latex:
Latex:
\mforall{}i,j:\mBbbZ{}. (i < j \mvee{} (i = j) \mvee{} (i > j))
By
Latex:
Auto
Home
Index