Theorem Polynomial.opRingEquiv_op_C

Modification history