basic): add theorem `int.div_mod_unique` (#14158)

Commit

3 years ago

feat(data/int/basic): add theorem `int.div_mod_unique` (#14158) add the `int` version of `div_mod_unique`. Co-authored-by: Kyle Miller <kmill31415@gmail.com>

Author

Faris999

Parents

f7a7c272

mathlib a5975e73 - feat(data/int/basic): add theorem `int.div_mod_unique` (#14158)

mathlib
a5975e73 - feat(data/int/basic): add theorem `int.div_mod_unique` (#14158)