OAI/Analysis/HardSphere/Bridges/BridgeReference.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Bridge.midpointPoint_continuous line 15
2. def OAI.HardSphere.Bridge.midpointLaw line 19
3. instance OAI.HardSphere.Bridge.midpointLaw_probability line 20
4. lemma OAI.HardSphere.Bridge.trial_product line 24
5. lemma OAI.HardSphere.Bridge.full_bridge_midpoint line 38
6. lemma OAI.HardSphere.Bridge.midpointLaw_gaussian line 59
7. def OAI.HardSphere.GaussianPacking.densityLower line 89
8. lemma OAI.HardSphere.GaussianPacking.densityLower_pos line 90
9. lemma OAI.HardSphere.GaussianPacking.density_lower line 94
10. lemma OAI.HardSphere.GaussianPacking.gaussian_dominates_local line 106