Theorem mul_div_cancel

Modification history