OAI/MathematicalPhysics/Boltzmann/Branching/SpaceTimeDilationAE.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Time-space dilation preserves spacetime null sets

  1. theorem OAI.BoltzmannNonuniqueness.ColdDilationMeasure.spacetime_dilation_quasiMeasurePreserving line 14