Step * of Lemma and_false_l

[A:Top]. (False ∧ ⇐⇒ False)
BY
(Unfold `and` THEN Fold `cand` 0⋅ THEN Auto THEN -1 THEN Auto) }


Latex:


Latex:
\mforall{}[A:Top].  (False  \mwedge{}  A  \mLeftarrow{}{}\mRightarrow{}  False)


By


Latex:
(Unfold  `and`  0  THEN  Fold  `cand`  0\mcdot{}  THEN  Auto  THEN  D  -1  THEN  Auto)




Home Index