Theorem LieModule.Weight.isZero_zero

Modification history