Def Nat.Partition.toFinsuppAntidiag

Modification history

2025-11-15 20:48

Mathlib/Combinatorics/Enumerative/Partition/Basic.lean

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

Added Nat.Partition.toFinsuppAntidiag View on Github →