OAI/Analysis/Conductivity/Sobolev/
546 declarations, 0 contain sorry, 0 declared as axioms; 66 files
Files
- AttachedEndMatchedH1.lean 1 declarations
- AxialExtension.lean 6 declarations
- AxialPairRank.lean 8 declarations
- BoundedMultiplier.lean 8 declarations
- CentralNeighborhoodCompletion.lean 2 declarations
- CentralPairRegularity.lean 3 declarations
- CentralPhysicalEnergy.lean 6 declarations
- CentralPhysicalRegion.lean 5 declarations
- CentralPhysicalTrace.lean 8 declarations
- CentralPhysicalVariational.lean 6 declarations
- CentralPieceRegular.lean 1 declarations
- CentralPoincare.lean 30 declarations
- ChildCompletionJoin.lean 4 declarations
- ChildFullEndH1.lean 3 declarations
- ChildH10Transport.lean 20 declarations
- ChildH1Pullback.lean 12 declarations
- CollarLpPullback.lean 10 declarations
- CompactLipschitzH1.lean 10 declarations
- CompactUpdateLp.lean 9 declarations
- CriticalWallParticularC0.lean 2 declarations
- CutAttachedEndH1.lean 6 declarations
- CutSlopeH1.lean 3 declarations
- CylinderPoissonH1.lean 7 declarations
- CylinderSobolevGraph.lean 12 declarations
- FiniteEndPhysicalH1.lean 8 declarations
- IntervalTraceEnergy.lean 4 declarations
- KernelParamDerivative.lean 1 declarations
- L2SpectralMultiplier.lean 5 declarations
- LocalJoinedH1.lean 5 declarations
- LocalPhysicalCorrectionBound.lean 5 declarations
- LocalPiolaFlux.lean 8 declarations
- LocalPiolaFluxPotentialPairing.lean 1 declarations
- LocalPiolaFluxSub.lean 4 declarations
- LocalPullback.lean 6 declarations
- LocalPullbackTsupportInside.lean 2 declarations
- LpEllipticBounds.lean 2 declarations
- LpExtension.lean 14 declarations
- LpFourJet.lean 2 declarations
- MatchedSeamH1.lean 2 declarations
- NonlinearLp.lean 21 declarations
- OriginalH1VoltageRestriction.lean 4 declarations
- OriginalMultiplierOperator.lean 5 declarations
- OriginalPairVoltage.lean 5 declarations
- OriginalSmoothMultiplier.lean 24 declarations
- ParentCompletionJoin.lean 12 declarations
- ParentFullEndH1.lean 9 declarations
- PhysicalProductJet.lean 4 declarations
- SobolevChain.lean 10 declarations
- SobolevDistribution.lean 10 declarations
- SobolevGaugeTransform.lean 8 declarations
- SobolevMaximum.lean 15 declarations
- SobolevOuterTests.lean 3 declarations
- SobolevSmoothOperations.lean 46 declarations
- SobolevSmoothTests.lean 27 declarations
- SobolevTraceChain.lean 21 declarations
- UniformLocalPhysicalCorrection.lean 1 declarations
- VoltageH1Completion.lean 7 declarations
- VoltageJetCompletion.lean 13 declarations
- VoltageOriginalH10.lean 10 declarations
- WallParticular.lean 11 declarations
- WallParticularBounds.lean 4 declarations
- WallParticularFamily.lean 12 declarations
- WallParticularFinish.lean 1 declarations
- WallPrimitive.lean 6 declarations
- WeakCompactHilbert.lean 5 declarations
- WeylPairGluing.lean 1 declarations