---

Step * 1 1 of Lemma quotient-top-union-top-not-subtype


1. ⇃(Top + Top) ⊆r (Top + Top)
2. (inl ⋅) = (inr ⋅ ) ∈ (Top + Top)
3. 0 = 1 ∈ ℤ
⊢ False
BY
{ Auto }

---

Latex:

---

Latex:

1.  \00D9(Top  +  Top)  \msubseteq{}r  (Top  +  Top)
2.  (inl  \mcdot{})  =  (inr  \mcdot{}  )
3.  0  =  1
\mvdash{}  False


By

---

Latex:
Auto

---

Home Index