 Uhlenbeck removable singularity theorem for ASD connections

A smooth anti-self-dual connection with compact structure group on a punctured four-ball and finite $L^2$ curvature extends smoothly over the puncture after changing gauge and extending the bundle. The gauge on the punctured ball can carry nontrivial clutching degree; the extended bundle need not agree globally with the original one in a bubbling sequence.

// Destination: geometry-and-topology.bigb