Theorem ZMod.trace_pow_card

Modification history