Commit 2024-02-27 18:23 3a74a20c

View on Github →

feat(Algebra/GroupPower/Basic): add zpow_eq_zpow_zmod (#11009) To match pow_eq_pow_mod for monoids.

Estimated changes

added theorem zpow_eq_zpow_emod'
added theorem zpow_eq_zpow_emod