OAI/Analysis/HardSphere/Thermodynamics/SpatialCloseScale.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.HardSphere.weighted_local_penalty line 23
2. def OAI.HardSphere.spatialCloseScale line 60
3. lemma OAI.HardSphere.spatialCloseScale_pos line 62
4. lemma OAI.HardSphere.spatialCloseScale_cube line 65
5. theorem OAI.HardSphere.spatial_localized_form line 72