Theorem IsAdjoinRootMonic.deg_pos

Modification history