Def LieModule.toEndomorphism

Modification history