On the Existence of a Compact Generator on the Derived Category of a Noetherian Formal Scheme | Publicación