Step
*
of Lemma
int-mono
mono(ℤ)
BY
{ ((D 0 THEN Auto) THEN FLemma `is-above-int` [-1] THEN Auto) }
Latex:
Latex:
mono(\mBbbZ{})
By
Latex:
((D 0 THEN Auto) THEN FLemma `is-above-int` [-1] THEN Auto)
Home
Index