Librarium
Settings

Proof that A = B is Equivalent to (A ∩ !B) ∪ (!A ∩ B) = āˆ