Theorem Nat.ModEq.dvd_iff_of_modEq_of_dvd

Modification history