OAI/Combinatorics/SumProduct/Alignment/RoughKernel05.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RoughKernelDiscrepancy.source_kernel_discrepancy line 37
2. theorem OAI.RoughKernelCover.integer_second_cover line 160
3. lemma OAI.RoughKernelCover.kernel_embedding_polynomial line 212
4. theorem OAI.RoughKernelCover.kernel_integer_cover line 226
5. theorem OAI.RoughCoverTests.uniform_cover_tests line 260