Theorem Nat.periodic_gcd

Modification history

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