Theorem LieModule.compLieHom

Modification history