The Stacks project

81 Formal Algebraic Spaces