---

Step * of Lemma test-false_wf

test-false() ∈ test-prop()
BY
{ MrecConstructorWf }

---

Latex:

---

Latex:
test-false()  \mmember{}  test-prop()


By

---

Latex:
MrecConstructorWf

---

Home Index