Theorem Nat.lt_div_iff_mul_lt_of_dvd

Modification history