Theorem LieModule.injOn_genWeightSpace

Modification history