Theorem Nat.mul_div_right

Modification history