Go back to the tag's page.
Remove names of lemmas having references These are too hard to parse for the website
Tags: Added new tags
D\'evissage a la RG