show z ∈ ⋃ pair x y ↔ z ∈ x ∨ z ∈ y
V : Type u_1
inst✝³ inst✝² : SetTheory V
inst✝¹ : Union V
inst✝ : Pairing V
x y z : V
⊢ z ∈ x ∪ y ↔ z ∈ x ∨ z ∈ y
V : Type u_1
inst✝³ inst✝² : SetTheory V
inst✝¹ : Union V
inst✝ : Pairing V
x y z : V
⊢ z ∈ ⋃ pair x y ↔ z ∈ x ∨ z ∈ y