Theorem AdjoinRoot.liftHom_of

Modification history