Registry · Remark V.R61 tau-effective not_applicable

V.R61 — Riemannian geometry as patching

In orthodox GR, a Lorentzian manifold is constructed by patching Minkowski tangent spaces with a metric tensor g_{mu nu}. In Category tau, the same structure emerges by patching local tau^3 charts with the frame holonomy transitions Phi_{k,k+1}^(n).

Book V Part 2 Ch. 12

Lean Formalization

Module: