---

Step * of Lemma not-isl-isr

∀x:Top + Top. ((¬↑isl(x)) ⇒ (isr(x) ~ tt))
BY
{ ((Auto THEN D 1) THEN AllReduce THEN Auto)⋅ }

---

Latex:

---

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


By

---

Latex:
((Auto  THEN  D  1)  THEN  AllReduce  THEN  Auto)\mcdot{}

---

Home Index