Theorem mul_boole

Modification history