Theorem ZMod.pow_card

Modification history