Registry · Theorem V.T222 tau-effective formalized

V.T222 — Chirp Mass Consistency

Chart-level chirp mass formula M_c = (m1m2)^{3/5}/(m1+m2)^{1/5} reproduces all 7 LIGO observations exactly. T^2 topology does not modify inspiral dynamics.

Book V Part 5 Ch. 41

Dependency Graph

Depends on (2)

V.D281 V.T38

Depended on by (11)

V.P100 V.P195 V.P206 V.P209 V.P211 V.R406 V.T279 V.T326 V.T327 V.T328 V.T329

Lean Formalization

Module: TauLib.BookV.Astrophysics.BinaryMergersGW

Symbol: Tau.BookV.Astrophysics.chirp_mass_consistency_remark