OAI/Geometry/Riemannian/HarmonicCore/
650 declarations, 0 contain sorry, 0 declared as axioms; 52 files
Files
- BoundaryBarrier.lean 12 declarations
- BoundaryContinuity.lean 16 declarations
- BoundaryTrace.lean 13 declarations
- Caccioppoli.lean 1 declarations
- ClassicalDerivative.lean 6 declarations
- ClassicalHarmonic.lean 6 declarations
- CoefficientDifference.lean 14 declarations
- Completeness.lean 10 declarations
- CutoffBounds.lean 6 declarations
- DeterminantDerivative.lean 1 declarations
- DirectionLimits.lean 15 declarations
- DirichletOperator.lean 18 declarations
- Distributions.lean 10 declarations
- Energy.lean 25 declarations
- EnergyStability.lean 3 declarations
- FiniteDifference.lean 13 declarations
- ForcedDerivative.lean 11 declarations
- Fourier.lean 11 declarations
- Frequency.lean 7 declarations
- GradientContinuity.lean 10 declarations
- HarmonicMean.lean 6 declarations
- HigherDerivative.lean 6 declarations
- InteriorBounds.lean 15 declarations
- InteriorDerivative.lean 7 declarations
- Main.lean 4 declarations
- MaximumPrinciple.lean 16 declarations
- MeanContraction.lean 2 declarations
- MetricLaplacian.lean 21 declarations
- Model.lean 38 declarations
- Multipliers.lean 24 declarations
- PolarBounds.lean 8 declarations
- PolarDensity.lean 7 declarations
- PolarMetric.lean 10 declarations
- RadialDistance.lean 12 declarations
- Regularization.lean 5 declarations
- SmoothBootstrap.lean 5 declarations
- Sobolev.lean 28 declarations
- SobolevComposition.lean 9 declarations
- SobolevOrder.lean 18 declarations
- SobolevSix.lean 4 declarations
- SphericalMean.lean 11 declarations
- TransferOperator.lean 13 declarations
- Translation.lean 23 declarations
- VolumeRatio.lean 2 declarations
- WarpProfiles.lean 30 declarations
- Warping.lean 37 declarations
- WarpingBounds.lean 11 declarations
- WarpingLimit.lean 22 declarations
- WeakDerivative.lean 15 declarations
- WeakLimits.lean 19 declarations
- WeakMaximum.lean 5 declarations
- WeakMean.lean 9 declarations