OAI/Analysis/HardSphere/Geometry/IntegralConfigurationCons.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.integral_configuration_cons line 20
2. lemma OAI.HardSphere.coe_weightedTail line 32
3. lemma OAI.HardSphere.weightedTail_pairing line 39
4. lemma OAI.HardSphere.norm_weightedTail_sq line 73
5. lemma OAI.HardSphere.SmoothMultiplier.norm_insertionScalar_sq line 93
6. lemma OAI.HardSphere.SmoothMultiplier.norm_insertionScalar line 101
7. lemma OAI.HardSphere.SmoothMultiplier.insertion_cross_zero line 107