Registry · Definition V.D49 tau-effective formalized

V.D49 — Curvature character --- V.D04

The curvature character R^H is the D-sector boundary projection of the frame holonomy gap: R^H_n(x) = eta_n(T^GR_n(x)) in H_partial^(D), where T^GR_n(x) is the minimal GR budget (smallest alpha-index) at base point x and depth n.

Book V Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookV.GravityField.TauEinsteinEq

Symbol: Tau.BookV.GravityField.CurvatureCharacterVd04