Theorem LieModule.map_genWeightSpace_le

Modification history