Theorem LieModule.exists₂_genWeightSpace_smul_add_eq_bot

Modification history