Theorem Int.ext_ediv_emod_iff

Modification history

2026-02-17 23:08

Mathlib/Data/Int/Init.lean

chore: bump toolchain to v4.29.0-rc1 (#35459)

Deleted Int.ext_ediv_emod_iff View on Github →

2026-01-30 10:38

Mathlib/Data/Int/Init.lean

feat(Data/Nat/Init): add `div`/`mod` extension theorems. (#34201) …

Added Int.ext_ediv_emod_iff View on Github →