Theorem LieHom.map_lie

Modification history