Theorem ZMod.cast_pow'

Modification history