Theorem Polynomial.algEquivOfCompEqX_symm

Modification history