Theorem AdjoinRoot.liftHom_eq_algHom

Modification history