Theorem Nat.mul_div_eq_iff_dvd

Modification history