Theorem LieModule.map_weightSpace_le

Modification history