Go back to the tag's page.
Added new tags to the project modified: tags/tags
Lemma on groupoids modified: groupoids.tex