Theorem: SetTheory.mem_inter_iff (SetTheory/Basic.lean)

State before:
V : Type u_1
inst✝ : Zermelo V
x y z : V
⊢ z ∈ x ∩ y ↔ z ∈ x ∧ z ∈ y
Tactic:
show z ∈ ⋂ pair x y ↔ z ∈ x ∧ z ∈ y
State after:
V : Type u_1
inst✝ : Zermelo V
x y z : V
⊢ z ∈ ⋂ pair x y ↔ z ∈ x ∧ z ∈ y

State before:
V : Type u_1
inst✝ : Zermelo V
x y z : V
⊢ z ∈ ⋂ pair x y ↔ z ∈ x ∧ z ∈ y
Tactic:
simp
State after:
no goals