Theorem IsAdjoinRootMonic.modByMonic_repr_map

Modification history