[ Prev ]
2020-04-29

-- Jan 29 In-Class Exercise
∃ x,y ( x ∈ A ^ y ∈ A ^ x != y ^ A = {x,y} )
∃ x,y ( x ∈ A ^ y ∈ A ^ x != y ^ A = {x,y} )
X