Theorem ZMod.lift_castAddHom

Modification history