Registry · Definition VI.D57 tau-effective planned

VI.D57 — Strong-Saturation Defect

Measures ratio of strong-sector content to saturation value; V^s_n ∈ [0,1], zero = fully saturated, one = no strong content. BH has negligible defect.

Book VI Part 7 Ch. 43

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookVI.CosmicLife.BHDist

Symbol: Tau.BookVI.BHDist.StrongsaturationDefect