OAI/Analysis/LipschitzHilbert/Packets/SourcePacketShear.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Passing to a reference direction is an exact shear of the original packets. The Fourier wedge and vertical bin are transported exactly.

  1. theorem OAI.LipschitzHilbert.planarAngularFourier_slopeShear line 12
  2. theorem OAI.LipschitzHilbert.SourceLabeledLattice.physicalPacket_slopeShear line 33
  3. theorem OAI.LipschitzHilbert.SourceLabeledLattice.physicalPacket_shear_fourier line 48
  4. theorem OAI.LipschitzHilbert.SourceLabeledLattice.reference_packet_spectrum line 58
  5. theorem OAI.LipschitzHilbert.SourceLabeledLattice.reference_packet_bin line 69