Theorem boole_mul

Modification history