Librarium
Settings

Proof of (A \ B) ∪ (A ∩ B) = A