Theorem Nat.not_dvd_iff_lt_mul_succ

Modification history