Loading paper
A global proof of the homological excess intersection formula | Tomesphere