Theorem Ordinal.dvd_of_mod_eq_zero

Modification history