Step
*
of Lemma
es-implies_wf
∀[es:EO]. ∀[P,Q:E ─→ ℙ]. (P
⇒ Q ∈ E ─→ ℙ)
BY
{ ProveWfLemma }
Latex:
\mforall{}[es:EO]. \mforall{}[P,Q:E {}\mrightarrow{} \mBbbP{}]. (P {}\mRightarrow{} Q \mmember{} E {}\mrightarrow{} \mBbbP{})
By
ProveWfLemma
Home
Index