OAI/Probability/MemoryPrecision/CubeCaps.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MemoryPrecision.coordinate_ball_root_volume line 19
2. lemma OAI.MemoryPrecision.cube_scaled_ball_volume line 62
3. lemma OAI.MemoryPrecision.cubeBall_volume line 76
4. lemma OAI.MemoryPrecision.cube_cap_local line 84
5. lemma OAI.MemoryPrecision.cubeBall_univ line 115
6. lemma OAI.MemoryPrecision.cube_mass_bound line 133