Theorem Int.ext_ediv_modEq

Modification history

2026-01-30 10:38
Mathlib/Data/Int/ModEq.lean
feat(Data/Nat/Init): add `div`/`mod` extension theorems. (#34201) …
Added Int.ext_ediv_modEqView on Github →