OAI/Analysis/HardSphere/Geometry/ParticleGradSq.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HardSphere.SphericalCoordinates.particleGradSq line 23
2. lemma OAI.HardSphere.SphericalCoordinates.insertNth_affine line 29
3. lemma OAI.HardSphere.SphericalCoordinates.contDiff_coordinate_slice line 36
4. lemma OAI.HardSphere.SphericalCoordinates.fderiv_coordinate_slice line 45
5. lemma OAI.HardSphere.SphericalCoordinates.gradSq_coordinate_slice line 59
6. lemma OAI.HardSphere.SphericalCoordinates.continuous_particleGradSq line 66
7. lemma OAI.HardSphere.SphericalCoordinates.lintegral_insertNth line 75
8. lemma OAI.HardSphere.SphericalCoordinates.sector_coordinate_capacity line 86