Theorem IsAdjoinRootMonic.coeff_injective

Modification history