Theorem LieModule.iSup_weightSpaceOf_eq_top

Modification history