Theorem LieModule.iSup_ucs_eq_weightSpace_zero

Modification history