Theorem ZMod.cast_sub

Modification history