Theorem LieModule.finite_genWeightSpace_ne_bot

Modification history