---

Step * of Lemma strictness-band-left

∀[a:Top]. (⊥ ∧b a ~ ⊥)
BY
{ ((UnivCD THENA Auto) THEN Strictness THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[a:Top].  (\mbot{}  \mwedge{}\msubb{}  a  \msim{}  \mbot{})


By

---

Latex:
((UnivCD  THENA  Auto)  THEN  Strictness  THEN  Auto)

---

Home Index