OAI/Analysis/HardSphere/FormDomain/Slice.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.smooth_insertNth line 19
2. lemma OAI.HardSphere.smooth_slice line 30
3. lemma OAI.HardSphere.insertNth_coordinateLine line 45
4. lemma OAI.HardSphere.coordDerivative_slice line 53
5. def OAI.HardSphere.SmoothTest.slice line 65
6. lemma OAI.HardSphere.smoothTest_norm_sq line 82
7. lemma OAI.HardSphere.smoothTest_partial_norm_sq line 87