Registry · Theorem V.T224 tau-effective formalized

V.T224 — Merger Energy Theorem

For non-spinning BH merger: eta = iota_tau^2 * nu where nu = q/(1+q)^2 is symmetric mass ratio. Non-spinning baseline; spin adds ~2% for typical remnants.

Book V Part 6 Ch. 53

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.MergerNormalForm

Symbol: Tau.BookV.Cosmology.merger_energy_formula