Step * of Lemma add_cancel_in_le

[a,b,n:ℤ].  a ≤ supposing (a n) ≤ (b n)
BY
Auto }


Latex:


Latex:
\mforall{}[a,b,n:\mBbbZ{}].    a  \mleq{}  b  supposing  (a  +  n)  \mleq{}  (b  +  n)


By


Latex:
Auto




Home Index