OAI/MathematicalPhysics/Boltzmann/Jets/SpatialDilationAE.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Spatial dilation preserves null sets in physical phase space

  1. theorem OAI.BoltzmannNonuniqueness.ColdDilationMeasure.spatial_dilation_quasiMeasurePreserving line 15