Registry · Definition V.D51 tau-effective formalized

V.D51 — tau-Einstein equation --- V.D06

The tau-Einstein equation is the boundary-character identity R^H(x) = kappa_tau * T^mat(x) in H_partial[omega], where R^H is the curvature character, kappa_tau = 1-iota_tau is the gravitational coupling, and T^mat is the matter character. It is algebraic, not a PDE.

Book V Part 2 Ch. 13

Dependency Graph

Depends on (3)

V.D12 V.T06 IV.D03

Depended on by (35)

V.C08 V.D50 V.P100 V.P105 V.P114 V.P132 V.P16 V.P59 V.P60 V.P61 V.P65 V.P67 V.P72 V.P78 V.R30 V.T103 V.T104 V.T125 V.T132 V.T136 V.T138 V.T152 V.T154 V.T27 V.T30 V.T300 V.T31 V.T334 V.T75 V.T78 V.T79 V.T80 V.T84 V.T88 V.T90

Lean Formalization

Module: TauLib.BookV.GravityField.TauEinsteinEq

Symbol: Tau.BookV.GravityField.TaueinsteinEquationVd06