OAI/Analysis/PlanarEndpoint/WeakIntegration.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Gaussian regularization, Fourier evolution and endpoint maximal estimates.

  1. lemma OAI.PlanarEndpoint.weak_lintegral_split line 13
  2. lemma OAI.PlanarEndpoint.weak_split_threshold line 66
  3. lemma OAI.PlanarEndpoint.weak_lintegral_bound line 84
  4. lemma OAI.PlanarEndpoint.weak_integral_norm_bound line 113