Theorem Nat.mul_sub_mul_div_of_dvd

Modification history