Mathlib Changelog
v4
Changelog
About
Github
Theorem
Function.injective_iff_periodicPts_eq_univ
Modification history
2025-04-28 13:45
Mathlib/Dynamics/PeriodicPts/Lemmas.lean
chore(PeriodicPts): review API, fix (#24422) …
Added
Function.injective_iff_periodicPts_eq_univ
View on Github →