Mathlib Changelog
v4
Changelog
About
Github
Def
Int.ModEq
Modification history
2023-01-01 21:48
Mathlib/Data/Int/ModEq.lean
feat: port Data.Int.ModEq (#1285)
Added
Int.ModEq
View on Github →