Polynomial
formalization of polynomials
polynomial is a ring
polynomials