Key points are not available for this paper at this time.
We study the category of holonomic Dₗ-modules for a quasi-compact, quasi-separated, smooth rigid analytic variety X over the field C (\! (t) \!). In particular, we prove finiteness of the de Rham cohomology for such modules.
Feliks Rączka (Sun,) studied this question.