OAI/Analysis/Conductivity/Variational/
1279 declarations, 0 contain sorry, 0 declared as axioms; 153 files
Files
- AdaptedSpatialBasis.lean 13 declarations
- AffineLayer.lean 2 declarations
- AffineWeakConstraints.lean 2 declarations
- AirySymbol.lean 5 declarations
- AxialDecayL2.lean 35 declarations
- AxialLocalRegularity.lean 5 declarations
- BoundedPiolaCorrection.lean 2 declarations
- C1VoltageApproximation.lean 11 declarations
- CentralAnchor.lean 21 declarations
- CentralCoercivitySmooth.lean 12 declarations
- CentralCorrectedRepresentative.lean 10 declarations
- CentralEnergySpace.lean 31 declarations
- CentralEuclideanBridge.lean 12 declarations
- CentralEuclideanJets.lean 4 declarations
- CentralHarmonicOpen.lean 5 declarations
- CentralJetIdentity.lean 8 declarations
- CentralLocalAgreement.lean 10 declarations
- CentralSmoothTrace.lean 22 declarations
- CentralUnnormalizedVariational.lean 3 declarations
- CentralVariational.lean 8 declarations
- ChangeOld.lean 5 declarations
- CompactBridge.lean 37 declarations
- CompactCompatibleReplacement.lean 7 declarations
- CompactDepthReductionRegular.lean 2 declarations
- CompactDepthReductionTwo.lean 10 declarations
- CompactFiberDecomposition.lean 7 declarations
- CompactFiberPrimitive.lean 14 declarations
- CompactGlobalUpdate.lean 2 declarations
- CompactMomentPerturbation.lean 6 declarations
- CompactParametricBounds.lean 3 declarations
- CompactParametricIntegral.lean 3 declarations
- CompactPhysicalCorrections.lean 23 declarations
- CompactRegularC0.lean 2 declarations
- CompactRegularCorrection.lean 12 declarations
- CompactSelectedReplacement.lean 3 declarations
- CompactSymmetricMoments.lean 3 declarations
- CompletePhysicalAttachment.lean 2 declarations
- CompletedPotential.lean 5 declarations
- ConjugateDiagonal.lean 8 declarations
- ContDiffClmDet.lean 6 declarations
- CrossingEllipticity.lean 2 declarations
- CrossingEstimates.lean 14 declarations
- CrossingGradient.lean 7 declarations
- CrossingHxx.lean 23 declarations
- CrossingProfiles.lean 24 declarations
- DenseWeakStrongContinuityPoints.lean 1 declarations
- DerivativeEquiv.lean 26 declarations
- DetIdAddRank.lean 1 declarations
- DirectionCalculus.lean 19 declarations
- DivSymbolTwo.lean 6 declarations
- EndPartitionJet.lean 1 declarations
- FiberTangentialDerivative.lean 6 declarations
- FieldMean.lean 3 declarations
- FieldVector.lean 12 declarations
- FieldVectorCLM.lean 15 declarations
- FiniteEndPhysicalDescent.lean 12 declarations
- FiniteEndPhysicalRegularity.lean 5 declarations
- FiniteMomentTransfer.lean 2 declarations
- FlatSpliceRegularity.lean 3 declarations
- FullEndClosedEnergy.lean 3 declarations
- FullWeakEndEnergy.lean 11 declarations
- GlobalRegularCorrection.lean 6 declarations
- GradientColumns.lean 6 declarations
- GramRankDetNe.lean 2 declarations
- HarmonicRankAffine.lean 7 declarations
- IntervalMeanPoincare.lean 3 declarations
- L2TranslationAverage.lean 20 declarations
- LocalBoundedPiolaCorrection.lean 2 declarations
- LocalSmoothSeries.lean 3 declarations
- LocalSmoothWeakDerivative.lean 9 declarations
- LocalSymmetricPiola.lean 8 declarations
- LocalizedFirstPotential.lean 7 declarations
- MatrixCompact.lean 3 declarations
- MatrixFiniteLaminate.lean 34 declarations
- MatrixOperator.lean 16 declarations
- MetricControlledPiola.lean 2 declarations
- NormalStretch.lean 9 declarations
- OriginalGradientLocality.lean 2 declarations
- OriginalVoltageRestriction.lean 7 declarations
- OverlapPoincare.lean 7 declarations
- PairedPotential.lean 10 declarations
- ParametricAxialNormalization.lean 1 declarations
- ParametricDiffeomorph.lean 3 declarations
- ParametricGlobalCorrection.lean 2 declarations
- ParametricLocalRegularCorrection.lean 5 declarations
- ParametricMomentSmall.lean 3 declarations
- ParametricSpatialDerivative.lean 7 declarations
- PhysicalCentralRegularPair.lean 2 declarations
- PhysicalCorrectionC0.lean 1 declarations
- PhysicalEndLocalLipschitz.lean 18 declarations
- PhysicalEndOpen.lean 6 declarations
- PhysicalEndSmoothEnergy.lean 1 declarations
- PhysicalEnergyContinuous.lean 4 declarations
- PhysicalFaceSum.lean 4 declarations
- PhysicalFaceUniqueness.lean 4 declarations
- PhysicalFlatEllipticity.lean 5 declarations
- PhysicalOpenVoltage.lean 13 declarations
- PhysicalOuterTrace.lean 7 declarations
- PhysicalOverlapMoments.lean 3 declarations
- PhysicalRealTrace.lean 8 declarations
- PhysicalRepresentativeGluing.lean 3 declarations
- PhysicalSmoothTest.lean 8 declarations
- PhysicalStripIntegral.lean 3 declarations
- PhysicalTerminalBands.lean 10 declarations
- PhysicalTestEnergy.lean 9 declarations
- PhysicalTraceBounds.lean 10 declarations
- PhysicalTraceMean.lean 4 declarations
- PreliminaryQ.lean 25 declarations
- ProductFactorSpec.lean 2 declarations
- QuantitativeGlobalCorrection.lean 5 declarations
- QuantitativeLocalTwoFieldSplit.lean 7 declarations
- QuantitativePhysicalMoments.lean 6 declarations
- RadialLaplacian.lean 36 declarations
- RadialWeylScale.lean 11 declarations
- RankProjectionFirst.lean 11 declarations
- Refl.lean 3 declarations
- RegularVanishingFamily.lean 1 declarations
- RepairPushedGraphStability.lean 4 declarations
- ScaledSmoothSeries.lean 18 declarations
- SimpleLevelNull.lean 11 declarations
- SmoothCompactExtension.lean 7 declarations
- SmoothCompactParameter.lean 4 declarations
- SmoothCompose.lean 11 declarations
- SmoothDirectionIntegral.lean 3 declarations
- SmoothFamilyGlobalCorrection.lean 4 declarations
- SmoothNormalizedEndFamily.lean 3 declarations
- SmoothPhysicalMomentFamily.lean 5 declarations
- SmoothPrimitive.lean 8 declarations
- SmoothRankRegularity.lean 3 declarations
- SmoothRepresentativeGluing.lean 3 declarations
- SmoothSupportedAdd.lean 15 declarations
- SymmetricCorrection.lean 6 declarations
- SymmetricQuadraticBound.lean 1 declarations
- Symmetrize.lean 13 declarations
- SynchronizedChartWaves.lean 14 declarations
- TransitionMajorant.lean 8 declarations
- TsupportFiniteSumSubset.lean 5 declarations
- Unchanged.lean 6 declarations
- UniformC1Bounds.lean 10 declarations
- UniformNormBound.lean 11 declarations
- UnitSquarePoincare.lean 15 declarations
- VanishingMomentChoice.lean 1 declarations
- VariationalDN.lean 19 declarations
- VoltageBoundaryTrace.lean 11 declarations
- VoltagePoincare.lean 5 declarations
- VoltageRecombination.lean 23 declarations
- WeakHarmonicClassical.lean 6 declarations
- WeakHarmonicMean.lean 9 declarations
- WeakPairOverlap.lean 3 declarations
- WeakWeyl.lean 7 declarations
- WholeBallJet.lean 6 declarations
- WholeBallJetFormula.lean 5 declarations
- WholeWeakClosure.lean 5 declarations