Linear Cauchy–Davenport in K[X]: for non-zero finite-dimensional K-subspaces X, Y of K[X], dim X + dim Y ≤ dim(XY) + 1

Initializing...

Linear Cauchy–Davenport in K[X]: for non-zero finite-dimensional K-subspaces X, Y of K[X], dim X + dim Y ≤ dim(XY) + 1 · Prove2Me