Def Nat.CountSet.fintype

Modification history

2025-09-15 12:54

Mathlib/Data/Nat/Count.lean

chore: bump toolchain to v4.24.0-rc1 (#29671)

Modified Nat.CountSet.fintype View on Github →

2023-02-14 08:18

Mathlib/Data/Nat/Count.lean

feat: port Data.Nat.Count (#2209)

Added Nat.CountSet.fintype View on Github →