Intersection homology D-modules in finite characteristic

Tools