Theorem LieModule.map_genWeightSpace_eq

Modification history