Go back to the tag's page.
Proof of reduction to the diagonal We could spell out more what this actually means...
Tags: Added new tags
Discussion of Tors in intersection.tex