Theorem LieModule.isCompl_genWeightSpaceOf_zero_posFittingCompOf

Modification history