Def Polynomial.algEquivOfCompEqX

Modification history