Step * of Lemma trivial-arith

(3 2 ∈ ℤ False
BY
Auto }


Latex:


Latex:
(3  =  2)  {}\mRightarrow{}  False


By


Latex:
Auto




Home Index