Submodules of polynomial rings of bounded degree

Stream: Is there code for X?

[Jordan Brown]

Has it been shown that, for any n, the set of polynomials of degree at most n is a submodule of the polynomial ring?

[Reid Barton]

See docs#polynomial.degree_le