Theorem Nat.periodic_mod

Modification history

2025-10-28 10:18
Mathlib/Data/Nat/Periodic.lean
chore(Data/Nat/Periodic): golf (#30970)
Modified Nat.periodic_modView on Github →
2023-02-14 09:08
Mathlib/Data/Nat/Periodic.lean
feat: Port Data.Nat.Periodic (#2235)
Added Nat.periodic_modView on Github →