Theorem Polynomial.support_opRingEquiv

Modification history