Finiteness of the homological dimension of weakly complete algebras of differential operator with overconvergent coefficients
scientific article; zbMATH DE number 5126067
scientific article