the ring of polynomials K[x] over a field K

GPTKB entity