Theorem Bool.xor_comm

Modification history