Theorem LieModule.comap_weightSpace_eq_of_injective

Modification history