---

Step * of Lemma mRulehyp_wf

No Annotations
hyp ∈ mFOLRule()
BY
{ DepprodCoDatatypeConstructorWf' }

---

Latex:

---

Latex:
No  Annotations
hyp  \mmember{}  mFOLRule()


By

---

Latex:
DepprodCoDatatypeConstructorWf'

---

Home Index