Theorem LieModule.map_weightSpace_eq

Modification history