OAI/Analysis/HardSphere/Bridges/ActualReverse.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Bridge.actual_reverse_trimmed line 18
2. def OAI.HardSphere.Bridge.rebuildPrimary line 69
3. lemma OAI.HardSphere.Bridge.rebuildPrimary_measurable line 74
4. lemma OAI.HardSphere.Bridge.rebuildPrimary_trim line 84
5. lemma OAI.HardSphere.Bridge.actual_two_primary_laws line 91