Theorem ZMod.charpoly_pow_card

Modification history