Theorem Polynomial.opRingEquiv_symm_C_mul_X_pow

Modification history