Smoothing L^ Riemannian metrics with nonnegative scalar curvature outside of a singular set | Synapse