Theorem Int.modEq_of_dvd

Modification history

2023-01-18 10:08

Mathlib/Data/Int/ModEq.lean

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

Deleted Int.modEq_of_dvd View on Github →

2023-01-01 21:48

Mathlib/Data/Int/ModEq.lean

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

Added Int.modEq_of_dvd View on Github →