Theorem LieModule.iSup_ucs_eq_genWeightSpace_zero

Modification history