Def Nat.ModEq

Modification history

2026-01-16 00:53

Mathlib/Data/Nat/ModEq.lean

chore(Algebra/ModEq): split file (#34003) …

Modified Nat.ModEq View on Github →

2022-12-31 21:27

Mathlib/Data/Nat/ModEq.lean

feat: port Data.Nat.ModEq (#1274)

Added Nat.ModEq View on Github →