Theorem LieModule.weightSpace_neg_zsmul_add_ne_bot

Modification history