---

Step * of Lemma int_eq-sqle-lemma2

∀[x:Top]. (if x=0  then x  else ⊥ ≤ x)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[x:Top].  (if  x=0    then  x    else  \mbot{}  \mleq{}  x)


By

---

Latex:
Auto

---

Home Index