The Stacks project

87 Algebraization of Formal Spaces