---

Step * of Lemma mRulehyp_wf

hyp ∈ mFOLRule()
BY
{ DepprodCoDatatypeConstructorWf `mFOLRule_size` }

---

Latex:


hyp  \mmember{}  mFOLRule()


By

DepprodCoDatatypeConstructorWf  `mFOLRule\_size`

---

Home Index