OAI/MeasureTheory/Falconer/Fourier/JetStateCrossKernel.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Original four-point kernel for a single dyadic cross term

  1. theorem OAI.Falconer.jetState_cross_original_kernel line 13
  2. theorem OAI.Falconer.dyadic_jetState_original_kernel line 52