Step
*
of Lemma
istype-less_than
∀[a,b:ℤ].  istype(a < b)
BY
{ TACTIC:Auto }
Latex:
Latex:
\mforall{}[a,b:\mBbbZ{}].    istype(a  <  b)
By
Latex:
TACTIC:Auto
Home
Index