Theorem Nat.div_le_iff_le_mul_of_dvd

Modification history