OAI/MeasureTheory/Falconer/Fourier/FarIntegralAssembly.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Summing the actual far regions with a uniform replacement error

  1. theorem OAI.Falconer.far_integral_assembly line 12