Theorem LieModule.disjoint_genWeightSpace

Modification history