Theorem Polynomial.opRingEquiv_symm_X

Modification history