Theorem AdjoinRoot.liftHom_root

Modification history