Def Nat.Partition.genFun

Modification history

2026-02-24 10:38

Mathlib/Combinatorics/Enumerative/Partition/GenFun.lean

chore: bump toolchain to v4.29.0-rc2 (#35708)

Deleted Nat.Partition.genFun View on Github →

2025-11-15 20:48

Mathlib/Combinatorics/Enumerative/Partition/GenFun.lean

feat(Combinatorics): generating function for partitions (#30567) …

Added Nat.Partition.genFun View on Github →