Step
*
of Lemma
trivial-arith
(3 = 2 ∈ ℤ) 
⇒
 False
BY
{ Auto }
Latex:
Latex:
(3  =  2)  {}\mRightarrow{}  False
By
Latex:
Auto
Home
Index