Registry · Proposition V.P118 tau-effective formalized

V.P118 — Black holes as far-from-equilibrium patterns

Every BH satisfies the 3 FFE conditions: bounded S_def, boundary flux, internal circulation via frame-dragging.

Book V Part 8 Ch. 73

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Coda.BridgeToLife

Symbol: Tau.BookV.Coda.bh_as_ffe