∫ Утверждение Mathlib
transposeOrderIso
Mathlib.Combinatorics.Young.YoungDiagram
URI: https://scilib.ai/kg/mathlib#YoungDiagram.transposeOrderIso
∫ Утверждение Mathlib
Mathlib.Combinatorics.Young.YoungDiagram
URI: https://scilib.ai/kg/mathlib#YoungDiagram.transposeOrderIso