Step * of Lemma less_than_anti-reflexive

[x:ℤ]. x < x)
BY
(InstLemma `less_than_irreflexivity` [] THEN Fold `not` (-1) THEN Trivial) }


Latex:


Latex:
\mforall{}[x:\mBbbZ{}].  (\mneg{}x  <  x)


By


Latex:
(InstLemma  `less\_than\_irreflexivity`  []  THEN  Fold  `not`  (-1)  THEN  Trivial)




Home Index