Step
*
of Lemma
subtract-elim
∀[x,y:ℤ].  (x - y ~ x + (-y))
BY
{ Auto }
Latex:
Latex:
\mforall{}[x,y:\mBbbZ{}].    (x  -  y  \msim{}  x  +  (-y))
By
Latex:
Auto
Home
Index