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