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

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