Theorem YoungDiagram.get_rowLens

Modification history

2024-07-01 02:54

Mathlib/Combinatorics/Young/YoungDiagram.lean

chore: move toolchain to v4.10.0-rc1 and merge bump/v4.10.0 (#14311)

Modified YoungDiagram.get_rowLens View on Github →

2023-02-03 07:30

Mathlib/Combinatorics/Young/YoungDiagram.lean

feat: port Combinatorics.Young.YoungDiagram (#1994)

Added YoungDiagram.get_rowLens View on Github →