Theorem ZMod.cast_zmod_eq_zero_iff_of_lt

Modification history