Theorem Int.ModEq.dvd

Modification history

2023-01-18 10:08

Mathlib/Data/Int/ModEq.lean

feat: Rationalise `ModEq` lemma names (#1384) …

Deleted Int.ModEq.dvd View on Github →

2023-01-01 21:48

Mathlib/Data/Int/ModEq.lean

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

Added Int.ModEq.dvd View on Github →