Step * of Lemma minus_minus_cancel

[a:ℤ]. ((--a) a ∈ ℤ)
BY
Auto }


Latex:


Latex:
\mforall{}[a:\mBbbZ{}].  ((--a)  =  a)


By


Latex:
Auto




Home Index