Registry · Proposition V.P80 tau-effective formalized

V.P80 — GW Energy Flux

The gravitational-wave energy flux at distance d is F_GW = (c^3/(16 pi G)) = (c^3/(16 pi iota_tau^2)) (hbar/c^2) <...>, expressed in tau-native form using G = (c^3/hbar) iota_tau^2.

Book V Part 5 Ch. 41

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BinaryMergersGW

Symbol: Tau.BookV.Astrophysics.GwEnergyFlux