Def Int.modeq

Modification history

2023-01-01 23:53
Mathlib/Tactic/ModCases.lean
chore: remove ad-hoc port of modular arithmetic definitions (#1292) …
Deleted Int.modeqView on Github →
2022-12-13 10:25
Mathlib/Tactic/ModCases.lean
chore: bump std4 to change instances for Div Int and Mod Int (#973)
Modified Int.modeqView on Github →
2022-11-21 04:21
Mathlib/Tactic/ModCases.lean
feat: `mod_cases` tactic (#593) …
Added Int.modeqView on Github →