Skip to content

[Merged by Bors] - feat(Combinatorics/Enumerative/Bell): sum over partition shapes#39693

Closed
yuanyi-350 wants to merge 45 commits into
leanprover-community:masterfrom
yuanyi-350:Bell
Closed

[Merged by Bors] - feat(Combinatorics/Enumerative/Bell): sum over partition shapes#39693
yuanyi-350 wants to merge 45 commits into
leanprover-community:masterfrom
yuanyi-350:Bell