Theorem ZMod.val_intCast

Modification history