Mathlib Changelog
v4
Changelog
About
Github
Theorem
Function.isPeriodicPt_factorial_card_of_mem_periodicPts
Modification history
2025-04-28 13:45
Mathlib/Dynamics/PeriodicPts/Lemmas.lean
chore(PeriodicPts): review API, fix (#24422) …
Modified
Function.isPeriodicPt_factorial_card_of_mem_periodicPts
View on Github →
2025-03-31 10:57
Mathlib/Dynamics/PeriodicPts/Lemmas.lean
feat(Mathlib/Dynamics/PeriodicPts/Lemmas): Added lemmas about `periodicPts` on `Fintype` (#23086)
Added
Function.isPeriodicPt_factorial_card_of_mem_periodicPts
View on Github →