Theorem Nat.div_eq_iff_eq_of_dvd_dvd

Modification history