Theorem LieModule.genWeightSpace_genWeightSpaceOf_map_incl

Modification history