Theorem LieModule.weightSpace_zero_normalizer_eq_self

Modification history