Theorem xor_iff_iff_not

Modification history