Theorem Int.emod_eq_sub_self_emod

Modification history

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_sub_self_emodView on Github →