OAI/Analysis/HardSphere/Conditioning/ReferenceResample.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.HardSphere.Comparison.conditioned_finite line 16
2. lemma OAI.HardSphere.Comparison.lmarginal_updateFinset line 26
3. lemma OAI.HardSphere.Comparison.reference_resample line 33
4. lemma OAI.HardSphere.Comparison.reference_fiber_positive line 105
5. def OAI.HardSphere.Comparison.proposalEvent line 153
6. lemma OAI.HardSphere.Comparison.measurable_proposalEvent line 158
7. def OAI.HardSphere.Comparison.proposalKernel line 169
8. instance OAI.HardSphere.Comparison.proposalKernel_finite line 176
9. lemma OAI.HardSphere.Comparison.proposalKernel_apply line 183
10. lemma OAI.HardSphere.Comparison.full_primary_law line 193