Go back to the tag's page.
Corrected typos in multiple files (spaces-*.tex, stacks-*.tex, sites*.tex, smoothing.tex, topology.tex, varieties.tex)
Tags: Added new tags
Small changes
Split out a lemma