OAI/Analysis/HardSphere/Thermodynamics/PhysicalRescaleLp.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.HardSphere.Rescaling.amplitude line 15
  2. lemma OAI.HardSphere.Rescaling.amplitude_pos line 16
  3. lemma OAI.HardSphere.Rescaling.amplitude_sq line 18
  4. def OAI.HardSphere.Rescaling.changeMeasure line 21
  5. def OAI.HardSphere.Rescaling.rawPull line 25
  6. def OAI.HardSphere.Rescaling.pull line 29
  7. lemma OAI.HardSphere.Rescaling.rawPull_ae line 32
  8. lemma OAI.HardSphere.Rescaling.pull_ae line 38
  9. lemma OAI.HardSphere.Rescaling.config_embedding line 42
  10. lemma OAI.HardSphere.Rescaling.pull_norm line 45
  11. def OAI.HardSphere.Rescaling.jet line 59
  12. lemma OAI.HardSphere.Rescaling.jet_fst line 64
  13. lemma OAI.HardSphere.Rescaling.jet_snd line 65
  14. lemma OAI.HardSphere.Rescaling.jet_energy line 67
  15. lemma OAI.HardSphere.Rescaling.pull_bosonic line 72