Theorem LieModule.Weight.isZero_iff_eq_zero

Modification history