The theorem on formal functions

Let A be a ring and let I be an ideal of A. Let (X, O_X) be a space with a sheaf of A-algebras (or X could be a site). Let F be a sheaf of O_X-modules. Set F_n = Continue reading