Theorem LieModule.exists_genWeightSpace_smul_add_eq_bot

Modification history