mathlib3
e0bdbbe1 - feat(combinatorics/young_diagram): add transposes, rows and columns of Young diagrams (#16120)

Commit

3 years ago

feat(combinatorics/young_diagram): add transposes, rows and columns of Young diagrams (#16120) Add transposes, rows (and row lengths), columns (and column lengths) of Young diagrams.

Author

jakelev

Parents

00ab7761

mathlib3 e0bdbbe1 - feat(combinatorics/young_diagram): add transposes, rows and columns of Young diagrams (#16120)

mathlib3
e0bdbbe1 - feat(combinatorics/young_diagram): add transposes, rows and columns of Young diagrams (#16120)