Theorem LieModule.lie_mem_preWeightSpace_of_mem_preWeightSpace

Modification history