Theorem Nat.dvd_ordCompl_of_dvd_not_dvd

Modification history