The first-chart glued generators are nonzerodivisors on the overlap modulo every power of the exceptional ideal.

Initializing...

The first-chart glued generators are nonzerodivisors on the overlap modulo every power of the exceptional ideal. · Prove2Me