OAI/Analysis/HardSphere/Bridges/PairedMarginal.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HardSphere.Bridge.pairedTrialLaw_other line 16
2. lemma OAI.HardSphere.Bridge.pairedTrialLaw_marginals line 30
3. lemma OAI.HardSphere.Bridge.measure_collision_marginals line 49