Def IsAdjoinRootMonic.modByMonicHom

Modification history