Theorem Bool.xor_false_left

Modification history