Registry · Definition VI.D56 tau-effective planned

VI.D56 — Frame-Closure Defect

Sobolev-norm integral measuring deviation of carrier geometry from ideal Kerr-Newman solution on horizon; vanishes for isolated stationary BH.

Book VI Part 7 Ch. 43

Dependency Graph

Depended on by (1)

VI.T29

Lean Formalization

Module: TauLib.BookVI.CosmicLife.BHDist

Symbol: Tau.BookVI.BHDist.FrameclosureDefect