Registry · Definition VI.D55 tau-effective planned

VI.D55 — Lexicographic Defect Functional

Pairs frame-closure and strong-saturation defects V^BH_n = (V^fr_n, V^s_n) with lexicographic ordering; gravitational equilibrium dominates.

Book VI Part 7 Ch. 43

Dependency Graph

Depended on by (2)

VI.L09 VI.T29

Lean Formalization

Module: TauLib.BookVI.CosmicLife.BHDist

Symbol: Tau.BookVI.BHDist.LexicographicDefectFunctional