Theorem AdjoinRoot.modByMonicHom_mk

Modification history