---

Step * of Lemma fRuleorI_wf

No Annotations
∀[left:𝔹]. (fRuleorI(left) ∈ FOLRule())
BY
{ DepprodCoDatatypeConstructorWf' }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[left:\mBbbB{}].  (fRuleorI(left)  \mmember{}  FOLRule())


By

---

Latex:
DepprodCoDatatypeConstructorWf'

---

Home Index