Def Fin.divNat

Modification history

2025-10-12 00:30

Mathlib/Data/Fin/Basic.lean

chore: adaptations for batteries#1456 (#30444)

Deleted Fin.divNat View on Github →

2023-01-12 19:47

Mathlib/Data/Fin/Basic.lean

feat: port Data.Fin.Basic (#1084) …

Added Fin.divNat View on Github →