Theorem Nat.ext_div_mod_iff

Modification history

2026-02-17 23:08

Mathlib/Data/Nat/Init.lean

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

Deleted Nat.ext_div_mod_iff View on Github →

2026-01-30 10:38

Mathlib/Data/Nat/Init.lean

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

Added Nat.ext_div_mod_iff View on Github →