OAI/MathematicalPhysics/Boltzmann/Branching/BackgroundBeamCloseness.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

The selected mesh scale stays close to the center of a small transverse window

  1. theorem OAI.BoltzmannNonuniqueness.GeometricBackground.scale_ratio_error line 15
  2. theorem OAI.BoltzmannNonuniqueness.GeometricBackground.selected_scale_ratio_error line 32
  3. theorem OAI.BoltzmannNonuniqueness.JetCopyDatum.AttainedCapSequence.HotLimitExtraction.background_average_slab_bound line 60
  4. theorem OAI.BoltzmannNonuniqueness.AxialBackground.axial_weight_close_to_one line 98
  5. theorem OAI.BoltzmannNonuniqueness.AxialBackground.beam_argument_bound line 111
  6. theorem OAI.BoltzmannNonuniqueness.AxialBackground.relativeWeight_close line 136