Theorem zpow_eq_mod_card

Modification history