OAI/Probability/SignedSweeps/SparseUniform.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.sqrt_exp_half line 13
2. lemma OAI.SignedSweeps.sparse_kernel_exponential_bound line 20
3. lemma OAI.SignedSweeps.sparse_depth_prefactors line 37
4. lemma OAI.SignedSweeps.sparse_delta_le_exp line 65
5. theorem OAI.SignedSweeps.eventually_sparse_sweep_norm line 85
6. theorem OAI.SignedSweeps.eventually_sparse_moments line 111
7. theorem OAI.SignedSweeps.uniform_sparse_moments line 153