Theorem Finset.finsuppAntidiag_mono

Modification history

2025-11-15 20:48
Mathlib/Algebra/Order/Antidiag/Finsupp.lean
feat(Combinatorics): generating function for partitions (#30567) …
Added Finset.finsuppAntidiag_monoView on Github →