Theorem AlgHom.coe_to_lieHom

Modification history