OAI/Analysis/HardSphere/Geometry/SubcubeBase.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.SphericalCoordinates.interval_subdivision line 22
2. def OAI.HardSphere.SphericalCoordinates.subcubeBase line 35
3. lemma OAI.HardSphere.SphericalCoordinates.cube_volume line 38
4. lemma OAI.HardSphere.SphericalCoordinates.cube_subdivision line 51
5. lemma OAI.HardSphere.SphericalCoordinates.pi_sum_sectors line 62
6. lemma OAI.HardSphere.SphericalCoordinates.cube_configuration_subdivision line 73
7. lemma OAI.HardSphere.SphericalCoordinates.subdivision_index line 82
8. lemma OAI.HardSphere.SphericalCoordinates.subdivided_cube_capacity line 104
9. lemma OAI.HardSphere.SphericalCoordinates.cube_coefficient line 121
10. lemma OAI.HardSphere.SphericalCoordinates.smooth_cube_energy line 143