Theorem LieModule.disjoint_weightSpace

Modification history