OAI/Analysis/AncientFlat/Kernel/
629 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- AdjointBounds.lean 3 declarations
- AdjointKernel.lean 14 declarations
- AdjointPairContinuity.lean 2 declarations
- AdjointPairDerivative.lean 9 declarations
- AdjointPairEstimate.lean 2 declarations
- BilapNorm.lean 4 declarations
- ClassicalBase.lean 517 declarations
- FourierDecay.lean 14 declarations
- GreenConvolution.lean 9 declarations
- KernelChangingPair.lean 6 declarations
- KernelJetMajorant.lean 3 declarations
- KernelMollifier.lean 5 declarations
- ParameterDecay.lean 7 declarations
- SchwartzIBP.lean 7 declarations
- SymbolBounds.lean 5 declarations
- SymbolCore.lean 2 declarations
- SymbolDecay.lean 15 declarations
- SymbolJets.lean 4 declarations
- SymbolSemigroup.lean 1 declarations