---

Step * of Lemma dl-equiv_wf

∀[phi,psi:Prop].  ((phi ⇐⇒ psi) ∈ ℙ')
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[phi,psi:Prop].    ((phi  \mLeftarrow{}{}\mRightarrow{}  psi)  \mmember{}  \mBbbP{}')


By

---

Latex:
ProveWfLemma

---

Home Index