Go back to the tag's page.
fix small typos
Tags: added new tags
Finish Artin's theorem on contractions Still a bit rough