OAI/Analysis/LipschitzHilbert/Fourier/ShortKernelPairing.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Restricted mass bounds for an integrable short-time kernel error.

  1. theorem OAI.LipschitzHilbert.PacketRepresentation.shortKernel_pairing line 10