Theorem ZMod.cast_intCast'

Modification history