Bi-Lipschitz trivialization of the distance function to a stratum of a stratification
Given a Lipschitz stratification 𝒳 that additionally satisfies condition (δ) of Bekka-Trotman (for instance any Lipschitz stratification of a subanalytic set), we show that for every stratum N of 𝒳 the distance function to N is locally bi-Lipschitz trivial along N. The trivialization is obtained by integration of a Lipschitz vector field.