Theorem zpow_mod_card

Modification history