---

Step * of Lemma isr-not-isl

∀x:Top + Top. ((↑isr(x)) ⇒ (isl(x) ~ ff))
BY
{ ((Auto THEN D 1) THEN All Reduce THEN Auto) }

---

Latex:

---

Latex:
\mforall{}x:Top  +  Top.  ((\muparrow{}isr(x))  {}\mRightarrow{}  (isl(x)  \msim{}  ff))


By

---

Latex:
((Auto  THEN  D  1)  THEN  All  Reduce  THEN  Auto)

---

Home Index