Theorem LieModule.weightSpace_add_chainTop

Modification history