---

Step * of Lemma n-intersecting_wf

∀[A,T:Type].  ∀[n:ℤ]. (n-intersecting(A;T;n) ∈ ℙ) supposing T ⊆r (A List)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[A,T:Type].    \mforall{}[n:\mBbbZ{}].  (n-intersecting(A;T;n)  \mmember{}  \mBbbP{})  supposing  T  \msubseteq{}r  (A  List)


By

---

Latex:
ProveWfLemma

---

Home Index