---

Step * of Lemma not-false

uiff(¬False;True)
BY
{ Auto }

---

Latex:

---

Latex:
uiff(\mneg{}False;True)


By

---

Latex:
Auto

---

Home Index