OAI/Analysis/FourierExtension/SurfaceBound.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Global L4 extension bounds for compact curved surfaces.

  1. theorem OAI.DiagonalExtension.IsSurface.exists_local_L4 line 31
  2. theorem OAI.DiagonalExtension.IsSurface.L4_negative line 49
  3. lemma OAI.DiagonalExtension.extension_eq_negative_transform line 71
  4. theorem OAI.DiagonalExtension.IsSurface.extension_L4 line 80