Theorem LieModuleHom.map_lie₂

Modification history