\lemmname 4.2.5 . [01RM]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

\lemmname 4.2.5.

Ce préfaisceau $U\mapsto\mathscr{D}_{p,q}(U)$ est un faisceau de $\mathscr{A}^{0}$ -modules sur $X$ . C’est en particulier un faisceau fin.