Theorem Int.ediv_emod_unique'

Modification history

2025-03-11 02:02
Mathlib/Data/Int/Lemmas.lean
chore: deprecations for nightly-2025-03-09 (#22778) …
Deleted Int.ediv_emod_unique'View on Github →
2024-12-10 02:59
Mathlib/Data/Int/Lemmas.lean
feat: more `Int.ediv` lemmas (#19754)
Added Int.ediv_emod_unique'View on Github →