OAI/Geometry/IsometricImmersion/Energy/
294 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- ActualRemainderL2.lean 24 declarations
- DirectedBounds.lean 2 declarations
- DirectedCoercivity.lean 14 declarations
- DirectedCutoffBalance.lean 6 declarations
- DirectedDefectCost.lean 8 declarations
- DirectedEdgeDefect.lean 3 declarations
- DirectedFarNegative.lean 4 declarations
- DirectedFluxCost.lean 6 declarations
- DirectedIntegralEstimate.lean 7 declarations
- DirectedParameterChoice.lean 1 declarations
- DirectedWeightJetCost.lean 4 declarations
- FiniteProductL2.lean 4 declarations
- FiniteSumL2.lean 3 declarations
- FixedMetricMixedL2.lean 1 declarations
- HeightEnergy.lean 3 declarations
- HeightEnergyJetBounds.lean 7 declarations
- HyperbolicEnergyDensity.lean 14 declarations
- LocalQResidualL2.lean 3 declarations
- LocalizedRemainderL2.lean 1 declarations
- MixedDerivativeL2.lean 13 declarations
- MixedRemainderL2.lean 7 declarations
- MovingEnergyGradient.lean 4 declarations
- MovingEnergyPropagation.lean 3 declarations
- MovingHyperbolicEnergy.lean 8 declarations
- MovingIntervalSobolev.lean 8 declarations
- MovingIntervalSourceL2.lean 14 declarations
- MovingSlabEnergy.lean 7 declarations
- MultiplierAbsorption.lean 5 declarations
- MultiplierDivergence.lean 10 declarations
- MultiplierIntegral.lean 24 declarations
- PatchDirectedCoercivity.lean 1 declarations
- RectangleSobolev.lean 4 declarations
- RectangleSobolevOne.lean 3 declarations
- RegionSobolev.lean 8 declarations
- SqrtEnergyGronwall.lean 7 declarations
- WeightPrimitive.lean 22 declarations
- WeightPrimitiveParameter.lean 6 declarations
- WeightedMultiplier.lean 25 declarations