OAI/Analysis/HardSphere/Geometry/RadialIndicator.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.SphericalCoordinates.radial_indicator line 22
2. lemma OAI.HardSphere.SphericalCoordinates.convex_capacity line 39
3. lemma OAI.HardSphere.SphericalCoordinates.translate_set_lintegral line 86
4. lemma OAI.HardSphere.SphericalCoordinates.convex_capacity_center line 102
5. def OAI.HardSphere.SphericalCoordinates.cube line 136
6. lemma OAI.HardSphere.SphericalCoordinates.cube_radius line 138
7. lemma OAI.HardSphere.SphericalCoordinates.cube_capacity line 149