Registry · Definition V.D176 tau-effective formalized

V.D176 — BH mass scale at depth n

The BH mass scale at refinement depth n is M_n = m_n * kappa(D;1) = m_n * (1 - iota_tau), where m_n is the total mass-energy content at depth n. At low depths the mass scales are large (supermassive BHs); at high depths they are small (stellar-mass BHs).

Book V Part 6 Ch. 53

Lean Formalization

Module: TauLib.BookV.Cosmology.MergerNormalForm

Symbol: Tau.BookV.Cosmology.BhMassScaleAtDepthN