OAI/Analysis/LipschitzHilbert/Trees/SourcePolarizedCoefficient.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The four polarized source families carry the exact linear combinations of the original physical analyzing coefficients.

  1. theorem OAI.LipschitzHilbert.SourceLatticePacket.polarize_physicalSelectedWave line 20
  2. theorem OAI.LipschitzHilbert.SourceLatticePacket.polarize_physicalCoefficient line 33