Active manifolds, stratifications, and convergence to local minima in nonsmooth optimization

Re-assign community