OAI/Analysis/PlaneSpectrum/
819 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- Basic.lean 112 declarations
- Characters.lean 42 declarations
- CircleDecay.lean 15 declarations
- CircleOperator.lean 32 declarations
- ConditionalSpectrum.lean 30 declarations
- Energy.lean 48 declarations
- Ergodicity.lean 41 declarations
- Fourier.lean 25 declarations
- FourierTests.lean 16 declarations
- InvariantMean.lean 132 declarations
- Multipliers.lean 30 declarations
- NumberFields.lean 43 declarations
- PhaseCollision.lean 19 declarations
- PhaseEncoding.lean 24 declarations
- RadialEnergy.lean 28 declarations
- Representations.lean 87 declarations
- Selections.lean 22 declarations
- SmallArcs.lean 17 declarations
- SpectralMeasure.lean 56 declarations