OAI/Combinatorics/EuclideanRamsey/StencilConvolution.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.EuclideanRamsey.stencil_taylor_uniform line 26
2. lemma OAI.EuclideanRamsey.stencilDifferential_continuous line 92
3. lemma OAI.EuclideanRamsey.stencilDifferential_support line 99
4. lemma OAI.EuclideanRamsey.stencil_weighted_riemann line 107
5. theorem OAI.EuclideanRamsey.exists_discrete_smoothing line 209
6. lemma OAI.EuclideanRamsey.cosetPushforward_mul line 257
7. theorem OAI.EuclideanRamsey.rational_smoothing line 266