Theorem LieModule.weightSpace_neg_add_chainBot

Modification history