Theorem ZMod.cast_pow

Modification history