Theorem LieModule.weightSpace_le_weightSpaceChain

Modification history