_Terms | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |
_terms | Algebra.Prelude.Core, Algebra.Ring.Polynomial, Algebra.Prelude |
_Terms' | Algebra.Ring.Polynomial.Class, Algebra.Prelude.Core, Algebra.Ring.Polynomial.Univariate, Algebra.Ring.Polynomial, Algebra.Prelude |