Bi-Lipschitz coordinates at every regular RCD point

Proves that every regular point of a noncollapsed $\mathop{\mathrm{RCD}}\nolimits (K,n)$ space, for K ∈ ℝ and integer n ≥ 2, has an open neighborhood bi-Lipschitz to an open subset of ℝⁿ. Regularity requires all pointed tangents to be Euclidean, the reference measure is exactly $\mathcal H^n$, and the chart compares ambient distances with a point-dependent finite constant.