OAI/Analysis/PlanarEndpoint/Representative.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Gaussian regularization, Fourier evolution and endpoint maximal estimates.

  1. lemma OAI.PlanarEndpoint.heatPath_eq_abel line 17
  2. lemma OAI.PlanarEndpoint.mainConclusion_of_integrable_paths line 31