Theorem Bool.xor_assoc

Modification history