Theorem ZMod.val_pow

Modification history