Theorem zpow_eq_mod_orderOf

Modification history