Theorem Nat.ord_compl_dvd_ord_compl_of_dvd

Modification history