Theorem LieModule.exists_weightSpace_smul_add_eq_bot

Modification history