Van den Essen's theorem on the de Rham cohomology of a holonomic D-module over a formal power series ring
Keywords: کوهمولوژی د رهم; primary; 14F10; 14F40; D-modules; de Rham cohomology;