---

Step * of Lemma test-foo-obj_wf

∀x:test-foo(). (test-foo-obj(x) ∈ test-Obj())
BY
{ MrecConstructorWf }

---

Latex:

---

Latex:
\mforall{}x:test-foo().  (test-foo-obj(x)  \mmember{}  test-Obj())


By

---

Latex:
MrecConstructorWf

---

Home Index