The Stacks project

83 Formal Algebraic Spaces