Theorem Polynomial.opRingEquiv_op_X

Modification history