OAI/Analysis/HardSphere/Thermodynamics/ThermodynamicCalibration.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HardSphere.Calibration.scaleQ line 12
2. def OAI.HardSphere.Calibration.scaleK line 13
3. lemma OAI.HardSphere.Calibration.scaleQ_div line 15
4. theorem OAI.HardSphere.Calibration.scale_limits line 23
5. theorem OAI.HardSphere.Calibration.scaled_parameters_limits line 53
6. def OAI.HardSphere.Calibration.densityLimit line 82
7. lemma OAI.HardSphere.Calibration.densityLimit_pos line 84
8. lemma OAI.HardSphere.Calibration.densityLimit_sq line 87
9. lemma OAI.HardSphere.Calibration.densityLimit_source line 96
10. lemma OAI.HardSphere.Calibration.densityLimit_above_threshold line 111
11. theorem OAI.HardSphere.Calibration.eventually_scaled_window line 124