OAI/Analysis/HardSphere/Thermodynamics/TrialScale.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Bridge.scaleMoment_two line 16
2. lemma OAI.HardSphere.Bridge.source_window_moment line 24
3. lemma OAI.HardSphere.Bridge.trialCutoff_mono_constants line 43
4. def OAI.HardSphere.Bridge.scalarTrialRemainder line 48
5. lemma OAI.HardSphere.Bridge.scalarTrialRemainder_decay line 53
6. lemma OAI.HardSphere.Bridge.scalarTrialRemainder_nonneg line 68