Theorem Nat.lt_mul_of_div_lt

Modification history