Go back to the tag's page.
Move material on formal glueing to spaces-pushouts.tex
Tags: Added new tags
Generalize formal glueing of quasi-coherent modules slightly Doing it this way is closer to what Joyet does.