Theorem LieModule.isCompl_genWeightSpace_zero_posFittingComp

Modification history