Theorem ZMod.int_cast_zmod_eq_zero_iff_dvd

Modification history