OAI/Analysis/HardSphere/Comparison/RawAngleLiftSumSquares.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.rawAngleLift_sum_squares line 18
2. lemma OAI.HardSphere.pairQ_representative line 37
3. lemma OAI.HardSphere.rawAngleLift_gradient_le line 45
4. lemma OAI.HardSphere.rawCutoff_gradient_le line 68