constructor
α : Type
inst✝ : DecidableEq α
A B C D E : Finset α
h1 : A ⊆ C \ E
h2 : B ⊆ D \ E
⊢ A ⊆ (C ∪ D) \ E ∧ B ⊆ (C ∪ D) \ E
case left
α : Type
inst✝ : DecidableEq α
A B C D E : Finset α
h1 : A ⊆ C \ E
h2 : B ⊆ D \ E
⊢ A ⊆ (C ∪ D) \ E

case right
α : Type
inst✝ : DecidableEq α
A B C D E : Finset α
h1 : A ⊆ C \ E
h2 : B ⊆ D \ E
⊢ B ⊆ (C ∪ D) \ E