Theorem IsAdjoinRootMonic.coeff_apply

Modification history