Theorem Bool.xor_not_left

Modification history