Theorem LieModule.map_genWeightSpace_eq_of_injective

Modification history