Registry · Remark V.R66 tau-effective not_applicable

V.R66 — The 8pi factor

The factor 8pi in Einstein's equation is derived, not chosen: 4pi from the solid angle of the three-dimensional spatial readout (fiber T^2 produces an effective S^2 at each chart point) times 2 from the trace reversal converting Ricci to Einstein tensor.

Book V Part 2 Ch. 13

Lean Formalization

Module: