mathlib

8a9a16da - feat(combinatorics/young_diagram): add Young diagrams (#15822)

feat(combinatorics/young_diagram): add Young diagrams (#15822) Add basic definition and initial API for Young diagrams. Co-authored-by: Eric Wieser <wieser.eric@gmail.com>