OAI/Analysis/HardSphere/Conditioning/UnitPairCount.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HardSphere.unitPairCount line 23
2. lemma OAI.HardSphere.unitPairCount_nonneg line 27
3. lemma OAI.HardSphere.unitPairCount_measurable line 36
4. lemma OAI.HardSphere.spatialPartition_cell_weight line 46
5. lemma OAI.HardSphere.spatialPartition_cell_integral line 77
6. theorem OAI.HardSphere.spatial_cell_average line 156