Theorem IsAdjoinRootMonic.coeff_apply_lt

Modification history