2 problems

Let $R$ be the base ring, let $\mathscr{X}$ be a smooth formal scheme of finite type over $R$, and let $\mathscr{M}$ be a coherent $\mathscr{D}^{(m)}_{\mathbb{Q},\mathscr{X}}$-modu…

Let $R$ be the base ring, let $\mathscr{X}$ be a smooth formal scheme of finite type over $R$, and let $\mathscr{M}$ be a $\mathscr{D}^{\dagger}$-module. Let…