Step
*
1
of Lemma
quotient-top-union-top
1. ⇃(Top + Top) ⋂ Base ≡ Top + Top ⋂ Base
⊢ ⇃(Top + Top) ⋂ Base ⊆r (Top + Top)
BY
{ (RWO "-1" 0 THEN Auto) }
Latex:
Latex:
1. \00D9(Top + Top) \mcap{} Base \mequiv{} Top + Top \mcap{} Base
\mvdash{} \00D9(Top + Top) \mcap{} Base \msubseteq{}r (Top + Top)
By
Latex:
(RWO "-1" 0 THEN Auto)
Home
Index