Theorem Nat.Partition.toFinsuppAntidiag_mem_finsuppAntidiag

Modification history

2025-11-15 20:48
Mathlib/Combinatorics/Enumerative/Partition/Basic.lean
feat(Combinatorics): generating function for partitions (#30567) …
Added Nat.Partition.toFinsuppAntidiag_mem_finsuppAntidiagView on Github →