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