Theorem mul_ite_zero

Modification history