Over a finite field, the exceptional divisors with tangent pattern `P` are in bijection with tuples, indexed by degrees `i + 1`, of colorings of the nonboundary directions of that degree by `Fin s.deg

Initializing...

Over a finite field, the exceptional divisors with tangent pattern `P` are in bijection with tuples, indexed by degrees `i + 1`, of colorings of the nonboundary directions of that degree by `Fin s.deg · Prove2Me