Theorem Nat.add_mul_div_right

Modification history