Theorem Nat.Function.Periodic.map_mod_nat

Modification history

2023-04-25 17:50
Mathlib/Data/Nat/Periodic.lean
fix: add missing `_root_` (#3630) …
Deleted Nat.Function.Periodic.map_mod_natView on Github →
2023-02-14 09:08
Mathlib/Data/Nat/Periodic.lean
feat: Port Data.Nat.Periodic (#2235)
Added Nat.Function.Periodic.map_mod_natView on Github →