OAI/Analysis/InterpolatedFactors/
1813 declarations, 0 contain sorry, 0 declared as axioms; 50 files
Files
- Absorption.lean 51 declarations
- Ambient.lean 70 declarations
- AmbientSystem.lean 30 declarations
- Basic.lean 66 declarations
- CornerGaussian.lean 35 declarations
- CornerGeneration.lean 32 declarations
- CornerIndex.lean 16 declarations
- CornerRange.lean 32 declarations
- CornerRepresentation.lean 7 declarations
- CornerStabilization.lean 11 declarations
- Cyclic.lean 29 declarations
- Diagonal.lean 16 declarations
- Diffuse.lean 42 declarations
- DoubleTrace.lean 13 declarations
- FiniteCorners.lean 20 declarations
- Fock.lean 155 declarations
- Fresh.lean 35 declarations
- Gaussian.lean 38 declarations
- GaussianAlgebra.lean 31 declarations
- GroupBridge.lean 75 declarations
- Haar.lean 81 declarations
- Interpolation.lean 28 declarations
- InverseRecognition.lean 6 declarations
- Jacobi.lean 48 declarations
- Matrices.lean 42 declarations
- MatrixNormal.lean 13 declarations
- Mixed.lean 31 declarations
- NormalEquiv.lean 11 declarations
- NormalTransport.lean 4 declarations
- OperatorSums.lean 49 declarations
- PairedAbsorption.lean 25 declarations
- Polar.lean 68 declarations
- Positive.lean 10 declarations
- Recognition.lean 40 declarations
- RelativeClosure.lean 30 declarations
- Rerouting.lean 93 declarations
- Restriction.lean 20 declarations
- Rotations.lean 22 declarations
- ScalarGeneration.lean 54 declarations
- ScalarSystem.lean 18 declarations
- Scaling.lean 13 declarations
- Spatial.lean 14 declarations
- Spectral.lean 47 declarations
- Splitting.lean 48 declarations
- Stabilization.lean 52 declarations
- StabilizationIso.lean 11 declarations
- Subalgebras.lean 29 declarations
- Ultraweak.lean 36 declarations
- UniformSpectral.lean 41 declarations
- WeightedCorner.lean 25 declarations