Def AdjoinRoot.modByMonicHom

Modification history