Go back to the tag's page.
fix small typos
Tags: Added new tags
Better proof of tricky lemma Thanks to David Rufino who sent a sort of pull request which I then applied on the command line and edited.