Theorem Bool.and_xor_distrib_right

Modification history