Librarium
Settings

Proof that (P(A) △ P(B)) ∩ P(A △ B) = ∅ and A = B are Equivalent