Remark: Family 357. Bi-Lipschitz coordinates at every regular RCD point

Proves that every regular point of a noncollapsed $\mathrm{RCD}(K,n)$ space, for $K\in \mathbb{R}$ and integer $n\ge 2$, has an open neighborhood bi-Lipschitz to an open subset of ${\mathbb{R}}^n$. 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.

The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.