OAI/Probability/SKGap/Brownian/IntervalMesh.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKGap.intervalMeshPoint line 12
2. lemma OAI.SKGap.intervalMeshPoint_mem line 14
3. def OAI.SKGap.intervalMeshIndex line 22
4. lemma OAI.SKGap.intervalMeshIndex_bounds line 27
5. lemma OAI.SKGap.intervalMeshIndex_tendsto line 44
6. lemma OAI.SKGap.intervalMeshIndex_increment line 53
7. lemma OAI.SKGap.intervalMesh_edges_card line 63
8. def OAI.SKGap.boxMeshPoint line 88
9. def OAI.SKGap.boxMeshIndex line 90
10. lemma OAI.SKGap.boxMeshIndex_tendsto line 92
11. lemma OAI.SKGap.boxMeshIndex_increment line 99
12. lemma OAI.SKGap.boxMesh_card line 106
13. lemma OAI.SKGap.boxMesh_edges_card line 112
14. lemma OAI.SKGap.boxMesh_edges_exp line 121