Theorem LieModule.disjoint_genWeightSpaceOf

Modification history