Mathlib Changelog
v4
Changelog
About
Github
Theorem
MulAction.zpow_smul_eq_iff_period_dvd
Modification history
2024-02-15 13:05
Mathlib/Dynamics/PeriodicPts.lean
feat(GroupTheory/GroupAction): define MulAction.period and create GroupTheory/GroupAction/Period (#9490) …
Added
MulAction.zpow_smul_eq_iff_period_dvd
View on Github →