Theorem LieModule.Weight.toLinear_neg

Modification history