Step * of Lemma simp_lemma1

[P:ℙ]. (P supposing False ⇐⇒ True)
BY
Auto }


Latex:


Latex:
\mforall{}[P:\mBbbP{}].  (P  supposing  False  \mLeftarrow{}{}\mRightarrow{}  True)


By


Latex:
Auto




Home Index