Librarium
Settings

Proof that { {x}, {x, y} } = { {a}, {a, b} } if and only if x = a and y = b