Def AdjoinRoot.liftHom

Modification history