The Stacks project

85 Formal Algebraic Spaces