Theorem Nat.div_le_iff_le_mul_add_pred

Modification history