Theorem zpow_eq_zpow_emod

Modification history

2024-05-13 09:51
Mathlib/Algebra/Group/Basic.lean
chore: Move power lemmas earlier (#12736) …
Modified zpow_eq_zpow_emodView on Github →
2024-02-27 18:23
Mathlib/Algebra/GroupPower/Basic.lean
feat(Algebra/GroupPower/Basic): add zpow_eq_zpow_zmod (#11009) …
Added zpow_eq_zpow_emodView on Github →