Theorem Bool.xor_false

Modification history