Theorem Function.iUnion_pnat_ptsOfPeriod

Modification history

2025-04-28 13:45
Mathlib/Dynamics/PeriodicPts/Defs.lean
chore(PeriodicPts): review API, fix (#24422) …
Added Function.iUnion_pnat_ptsOfPeriodView on Github →