OAI/Geometry/TamingCompatibility/Elliptic/
282 declarations, 0 contain sorry, 0 declared as axioms; 40 files
Files
- ActualPrincipal.lean 1 declarations
- AntiChartH1.lean 7 declarations
- AugmentedCoercive.lean 1 declarations
- BilinearCoercivePos.lean 2 declarations
- ChartGarding.lean 6 declarations
- ComplexScalarPrincipal.lean 5 declarations
- CriticalH1Linear.lean 8 declarations
- CriticalManifoldSobolev.lean 5 declarations
- CriticalRescaleH1.lean 8 declarations
- DerivativeIndex.lean 15 declarations
- DirectionH1.lean 5 declarations
- DirectionalPrincipal.lean 6 declarations
- FrozenCoefficient.lean 14 declarations
- FrozenSystem.lean 7 declarations
- GlobalSmoothRegularity.lean 2 declarations
- HermitianDerivativeNorms.lean 8 declarations
- InteriorRegularity.lean 13 declarations
- LocalGarding.lean 27 declarations
- LocalMatrixGarding.lean 3 declarations
- MatrixGarding.lean 3 declarations
- MatrixH1Smooth.lean 12 declarations
- MemSobolevSum.lean 7 declarations
- MetricSquareRegularity.lean 1 declarations
- MovingFrozenIdentity.lean 3 declarations
- NeumannSeries.lean 3 declarations
- NormalSystem.lean 7 declarations
- OperatorCalculus.lean 19 declarations
- PrincipalDerivativeError.lean 7 declarations
- PrincipalNormalize.lean 4 declarations
- PrincipalTransport.lean 10 declarations
- RawH1Bound.lean 2 declarations
- RealSobolevLift.lean 11 declarations
- ScalarRegularityBase.lean 3 declarations
- SchwartzSobolev.lean 2 declarations
- SecondDerivative.lean 13 declarations
- SobolevBounded.lean 14 declarations
- SquarePrincipal.lean 8 declarations
- UniformBootstrap.lean 2 declarations
- UnitaryLocalGarding.lean 2 declarations
- WeightedPrincipal.lean 6 declarations