Theorem Bool.false_xor

Modification history