Theorem ZMod.intCast_mod

Modification history