OAI/Analysis/Triangular/Construction/
453 declarations, 0 contain sorry, 0 declared as axioms; 40 files
Files
- ActualCorrection.lean 14 declarations
- ActualInput.lean 11 declarations
- ActualInterpolation.lean 11 declarations
- ActualTail.lean 4 declarations
- AtomicCurvature.lean 2 declarations
- BlockOperators.lean 28 declarations
- CoefficientAddition.lean 3 declarations
- ConcreteSchur.lean 25 declarations
- CurvatureAnalytic.lean 10 declarations
- CurvatureBoxes.lean 12 declarations
- CurvatureEnvelope.lean 14 declarations
- CurvatureSums.lean 60 declarations
- DirectCoordinates.lean 9 declarations
- DirectWaveJets.lean 11 declarations
- FarCurvature.lean 14 declarations
- FiniteAssembly.lean 6 declarations
- FiniteCoordinates.lean 6 declarations
- FiniteInterpolation.lean 7 declarations
- FiniteJets.lean 17 declarations
- FinitePairBridge.lean 4 declarations
- FiniteProjection.lean 7 declarations
- FiniteRemainder.lean 11 declarations
- FiniteSystem.lean 3 declarations
- FiniteTargetBridge.lean 3 declarations
- L1Kernel.lean 11 declarations
- L1Matrix.lean 9 declarations
- NodeJets.lean 10 declarations
- Normalization.lean 16 declarations
- NormalizedJets.lean 9 declarations
- PeriodicJets.lean 7 declarations
- Repetition.lean 17 declarations
- RepetitionBound.lean 8 declarations
- RepetitionOperators.lean 15 declarations
- Schur.lean 7 declarations
- SpectralJetBridge.lean 6 declarations
- SpectralProduct.lean 13 declarations
- TailCoordinates.lean 8 declarations
- TailEnumeration.lean 12 declarations
- TailInterpolation.lean 3 declarations
- TailJetVector.lean 10 declarations