Theorem IsAdjoinRootMonic.coeff_apply_coe

Modification history