Registry · Corollary V.C02 tau-effective formalized

V.C02 — Relativity principle recovered

All admissible readout functors produce the same null set C and the same speed of light c; no admissible readout functor is preferred. This recovers the relativity principle (laws of physics are the same in all inertial frames) as a corollary.

Book V Part 2 Ch. 12

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.GravityField.LorentzNoMinkowski

Symbol: Tau.BookV.GravityField.RelativityPrincipleRecovered