Go back to the tag's page.
Tags: Added new tags
Long overdue application in spaces.tex This tells us our algebraic spaces are really what Mike had in mind.