---

Step * of Lemma face-term-implies_wf

No Annotations
∀[Gamma:j⊢]. ∀[phi,psi:{Gamma ⊢ _:𝔽}].  (Gamma ⊢ (phi ⇒ psi) ∈ ℙ{[i | j']})
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[Gamma:j\mvdash{}].  \mforall{}[phi,psi:\{Gamma  \mvdash{}  \_:\mBbbF{}\}].    (Gamma  \mvdash{}  (phi  {}\mRightarrow{}  psi)  \mmember{}  \mBbbP{}\{[i  |  j']\})


By

---

Latex:
ProveWfLemma

---

Home Index