Def Nat.divModEquiv

Modification history

2023-03-19 19:01
Mathlib/Logic/Equiv/Fin.lean
feat: forward-port leanprover-community/mathlib#18359 (#2106) …
Added Nat.divModEquivView on Github →