Theorem LieModule.iSup_ucs_le_genWeightSpace_zero

Modification history