Theorem Bool.bne_eq_xor

Modification history