OAI/Analysis/LipschitzHilbert/Fourier/LineNeighborhoodMoments.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform line moments of a signal and its scaled covariant derivative produce one exceptional set for every interval sum throughout a strip.

  1. theorem OAI.LipschitzHilbert.uniform_line_neighborhood line 15