OAI/Analysis/HardSphere/Comparison/TaggedMoment.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HardSphere.Comparison.taggedReference line 16
2. lemma OAI.HardSphere.Comparison.taggedEvent_measurable line 18
3. lemma OAI.HardSphere.Comparison.taggedFunction_measurable line 23
4. lemma OAI.HardSphere.Comparison.tagged_density_square line 27
5. lemma OAI.HardSphere.Comparison.tagged_full_density line 35
6. lemma OAI.HardSphere.Comparison.tagged_density_moment line 46
7. def OAI.HardSphere.Comparison.tagLikelihood line 81
8. lemma OAI.HardSphere.Comparison.tagLikelihood_measurable line 83
9. lemma OAI.HardSphere.Comparison.sum_tagLikelihood line 89
10. lemma OAI.HardSphere.Comparison.tagged_mixture_density line 101