Go back to the tag's page.
Get rid of two more FIXMEs from intersection.tex
Tags: Added new tags
Proof of the moving lemma Fun! Still a bit rough and many references need to be added.