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

Commits

Commits on Mar 12, 2026

Commits on Apr 2, 2026

Commits on Apr 6, 2026

Commits on Apr 7, 2026

Commits on May 20, 2026

Commits on May 21, 2026

Commits on May 22, 2026

Commits on May 23, 2026

Commits on Jun 20, 2026

Commits on Jun 24, 2026

Commits on Jun 28, 2026