Theorem Nat.mul_add_mul_div_of_dvd

Modification history