Go back to the tag's page.
Move a section earlier
Tags: Added new tags
Better writing on proper hypercoverings (topology) This is now very clean and of course much longer than it was before.