The Stacks project

86 Algebraization of Formal Spaces