OAI/Geometry/TranslativeCovering/BodyVolume.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BodyVolume.law line 66
2. instance OAI.BodyVolume.law_probability line 69
3. lemma OAI.BodyVolume.law_void line 72
4. lemma OAI.BodyVolume.membership_eq line 76
5. lemma OAI.BodyVolume.point_survival line 83
6. lemma OAI.BodyVolume.volume_tonelli line 97
7. lemma OAI.BodyVolume.expected_volume line 103
8. lemma OAI.BodyVolume.volume_finite line 117
9. lemma OAI.BodyVolume.integrable_volume line 122
10. lemma OAI.BodyVolume.expected_volume_real line 130
11. lemma OAI.BodyVolume.bounded_tail line 151
12. lemma OAI.BodyVolume.volume_probability line 171