OAI/Probability/SKGap/Localization/SparseCubeNet.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SKGap.optionSupport line 13
2. lemma OAI.SKGap.option_support_weight line 17
3. lemma OAI.SKGap.option_weight_sum line 22
4. theorem OAI.SKGap.sparse_option_count line 28
5. theorem OAI.SKGap.sparse_option_small_entropy line 59
6. def OAI.SKGap.optionCube line 80
7. theorem OAI.SKGap.sparse_cube_approx line 85
8. lemma OAI.SKGap.optionCube_bounds line 126
9. lemma OAI.SKGap.interval_mesh line 144
10. theorem OAI.SKGap.sparse_uniform_exponential line 154