---

Step * of Lemma squash_false

uiff(↓False;False)
BY
{ (Auto THEN D (-1)⋅ THEN Auto) }

---

Latex:

---

Latex:
uiff(\mdownarrow{}False;False)


By

---

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

---

Home Index