Theorem LieModule.injOn_weightSpace

Modification history