The algebra of polynomial integro-differential operators is a holonomic bimodule over the subalgebra of polynomial differential operators.

From MaRDI portal