Registry · Proposition V.P14 tau-effective formalized

V.P14 — v_mathrmGW

In Category tau, the speed of gravitational waves is exactly equal to the speed of light: v_GW = c. Both gravitational waves and photons are null intertwiners satisfying the same null condition ||pr_D||^2 = ||pr_fiber||^2. There is no mechanism for a speed difference.

Book V Part 2 Ch. 14

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.GravityField.LinearEinstein

Symbol: Tau.BookV.GravityField.Vmathrmgw