OAI/Analysis/HardSphere/Bridges/PhysicalSecondMoment.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.HardSphere.Bridge.physical_route_second_moment line 20
2. def OAI.HardSphere.Bridge.pinnedSet line 101
3. lemma OAI.HardSphere.Bridge.pinnedSet_closed line 102
4. lemma OAI.HardSphere.Bridge.reference_pinned line 106
5. lemma OAI.HardSphere.Bridge.trial_pinned line 110
6. lemma OAI.HardSphere.Bridge.reference_restrict_pinned line 116
7. lemma OAI.HardSphere.Bridge.trial_measure_pinned line 121
8. lemma OAI.HardSphere.Bridge.individualReference_pinned line 125