Def IsAdjoinRoot.liftHom

Modification history