Theorem Nat.periodic_mod

Modification history

2023-02-14 09:08
Mathlib/Data/Nat/Periodic.lean
feat: Port Data.Nat.Periodic (#2235)
Added Nat.periodic_modView on Github →