---

Step * of Lemma squash_true

uiff(↓True;True)
BY
{ Auto }

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index