OAI/Analysis/AncientFlat/Profile/
119 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- AncientFlat.lean 1 declarations
- AnnularProfile.lean 1 declarations
- AnnularProfileCore.lean 2 declarations
- CompactificationCoeff.lean 8 declarations
- CompactificationDerivative.lean 2 declarations
- CompactificationIdentity.lean 4 declarations
- FlatMainCore.lean 4 declarations
- OriginalPotential.lean 1 declarations
- ProfileData.lean 5 declarations
- ProfileFamilies.lean 17 declarations
- ProfileOperator.lean 9 declarations
- ProfileScaleMatch.lean 3 declarations
- ProfileScaling.lean 3 declarations
- ProfileSymbols.lean 1 declarations
- RadialBilaplacian.lean 7 declarations
- RadialHolderOn.lean 1 declarations
- RadialLaplacian.lean 5 declarations
- RadialRealCore.lean 2 declarations
- RadialRealSemigroup.lean 2 declarations
- RotationCore.lean 3 declarations
- ScalarShrinker.lean 6 declarations
- SphereCalculus.lean 8 declarations
- SphereCore.lean 7 declarations
- SphereErrorBounds.lean 5 declarations
- SphereJetBounds.lean 3 declarations
- SphereMismatch.lean 1 declarations
- SphereScaling.lean 8 declarations