Theorem AlgHom.to_lieHom_comp

Modification history