Theorem Int.ext_ediv_modEq_iff

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_modEq_iff View on Github →