Theorem LieModule.Weight.isZero_neg

Modification history