Theorem Bool.xor_iff_ne

Modification history