Theorem LieModule.Weight.weightSpace_ne_bot

Modification history