Theorem LieModule.weightSpaceChain_def'

Modification history