Theorem Int.emod_eq_add_self_emod

Modification history

2025-04-03 05:22
Mathlib/Data/Int/DivMod.lean
chore: bump toolchain to v4.19.0-rc2 (#23614)
Deleted Int.emod_eq_add_self_emodView on Github →
2024-09-29 17:58
Mathlib/Data/Int/DivMod.lean
feat: `fin_omega`, a wrapper around `omega` to help with `Fin` arithmetic goals. (#16651) …
Added Int.emod_eq_add_self_emodView on Github →