Theorem Nat.dvd_ord_compl_of_dvd_not_dvd

Modification history