A simpler proof shows -metric completion is CAT(0).
problem Completing Riemannian metrics space.
method Easier proof of existing result by Brian Clarke.
result Completion of Riemannian metrics is CAT(0).
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
A simpler proof shows -metric completion is CAT(0).