Theorem AlgHom.to_lieHom_id

Modification history