---

Step * of Lemma fps-support_wf

∀[r:CRng]. ∀[f:PowerSeries(r)]. ∀[s:bag(Atom)].  (fps-support(r;f;s) ∈ ℙ)
BY
{ ProveWfLemma⋅ }

---

Latex:

---

Latex:
\mforall{}[r:CRng].  \mforall{}[f:PowerSeries(r)].  \mforall{}[s:bag(Atom)].    (fps-support(r;f;s)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma\mcdot{}

---

Home Index