Theorem IsAdjoinRootMonic.modByMonicHom_root_pow

Modification history