Theorem Polynomial.algEquivAevalXAddC_eq_iff

Modification history