Theorem mul_eq_mul_of_div_eq_div

Modification history