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