{-# OPTIONS --safe #-}
module Cubical.Algebra.Polynomials.UnivariateList.UniversalProperty where

{-
  Export an CommAlgebra-Instance for the UnivariateList-Polynomials.
  Also export the universal property with respect to not-necessarily commutative algebras.
-}
open import Cubical.Algebra.CommAlgebra.UnivariatePolyList public