Theorem Polynomial.coeff_opRingEquiv

Modification history