---

Step * of Lemma and_false_l

∀[A:Top]. (False ∧ A ⇐⇒ False)
BY
{ (Unfold `and` 0 THEN Fold `cand` 0⋅ THEN Auto THEN D -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