Theorem Bool.xor_false_right

Modification history