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) …
Added Int.ediv_emod_unique''View on Github →