Def Int.ModEq

Modification history

2026-01-16 00:53

Mathlib/Data/Int/ModEq.lean

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

Modified Int.ModEq View on Github →

2023-01-01 21:48

Mathlib/Data/Int/ModEq.lean

feat: port Data.Int.ModEq (#1285)

Added Int.ModEq View on Github →