Def LieModule.compLieHom

Modification history