Theorem LieModule.Weight.apply_eq_zero_of_isNilpotent

Modification history