Mathlib v3 is deprecated. Go to Mathlib v4

Def int.div_mod_equiv

Modification history

2023-02-08 15:26
src/logic/equiv/fin.lean
feat(logic/equiv/fin): `div`/`mod` as an equivalence on `nat`/`int` (#18359) …
Added int.div_mod_equivView on Github →