Theorem LieModule.comap_genWeightSpace_eq_of_injective

Modification history