---

Step * of Lemma fl-eq-0-1-false

∀I:Top. ((0==1) ~ ff)
BY
{ (Auto THEN ByComputation 1000) }

---

Latex:

---

Latex:
\mforall{}I:Top.  ((0==1)  \msim{}  ff)


By

---

Latex:
(Auto  THEN  ByComputation  1000)

---

Home Index