Theorem Nat.not_dvd_of_pos_of_lt

Modification history