Theorem mul_mul_div

Modification history