---

Step * of Lemma ses-cabal_wf

∀[s:SES]. ∀[C:Id List]. ∀[as:Atom1 List]. ∀[es:EO+(Info)].  (C is a cabal for as ∈ ℙ)
BY
{ ProveWfLemma⋅ }

---

Latex:

---

Latex:
\mforall{}[s:SES].  \mforall{}[C:Id  List].  \mforall{}[as:Atom1  List].  \mforall{}[es:EO+(Info)].    (C  is  a  cabal  for  as  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma\mcdot{}

---

Home Index