The intersection length of a degree-`d` form with `(X)` on the concrete surface is `d` plus the intersection length of its strict transform with the exceptional divisor at the origin of the left chart

Initializing...

The intersection length of a degree-`d` form with `(X)` on the concrete surface is `d` plus the intersection length of its strict transform with the exceptional divisor at the origin of the left chart · Prove2Me