Theorem IsAdjoinRootMonic.coeff_one

Modification history