At the point at infinity of the concrete surface, the intersection length of the strict transform of `∑ cᵢ tᵈ⁻ⁱ xⁱ` with the exceptional divisor is `d - deg H`, where `H = ∑ c̄ᵢ Zⁱ` is the residue pol

Initializing...

At the point at infinity of the concrete surface, the intersection length of the strict transform of `∑ cᵢ tᵈ⁻ⁱ xⁱ` with the exceptional divisor is `d - deg H`, where `H = ∑ c̄ᵢ Zⁱ` is the residue pol · Prove2Me