Theorem LieModule.coe_weightSpace_of_top

Modification history