OAI/MeasureTheory/Falconer/Fourier/JetStateFarKernel.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Comparable far kernels for the exact descriptor-jet states

  1. theorem OAI.Falconer.exists_jetState_far_radial_kernel line 14
  2. theorem OAI.Falconer.signedRadialCoefficient_state_support line 51