---

Step * of Lemma mRuleandI_wf

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

---

Latex:


andI  \mmember{}  mFOLRule()


By

DepprodCoDatatypeConstructorWf  `mFOLRule\_size`

---

Home Index