OAI/Combinatorics/SumProduct/Alignment/UniformSlow01.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.UniformParameterTests.common_modulus line 27
2. theorem OAI.RoughKernelFactorization.uniform_finite_kernel_tests line 72
3. theorem OAI.RoughKernelFactorization.uniform_slow_freezing line 97
4. def OAI.UniformSlowPolynomials.form line 138
5. lemma OAI.UniformSlowPolynomials.continuous_form line 141
6. lemma OAI.UniformSlowPolynomials.rescale line 146
7. theorem OAI.UniformSlowPolynomials.normalized_uniformity line 157
8. theorem OAI.UniformSlowPolynomials.scaled_uniformity line 194
9. theorem OAI.RoughKernelFactorization.polynomial_slow_freezing line 248