Theorem ZMod.ringHom_eq_of_ker_eq

Modification history