Theorem Polynomial.opRingEquiv_symm_C

Modification history