OAI/Geometry/WeakHessian/HeatFlow/
341 declarations, 0 contain sorry, 0 declared as axioms; 108 files
Files
- BoundedSecondGenerator.lean 4 declarations
- CheegerHeat.lean 11 declarations
- CheegerHeatAbs.lean 9 declarations
- CheegerHeatBoundedPairing.lean 3 declarations
- CheegerHeatContinuous.lean 2 declarations
- CheegerHeatDavies.lean 3 declarations
- CheegerHeatEntropyDissipation.lean 2 declarations
- CheegerHeatEntropyHopf.lean 3 declarations
- CheegerHeatFisherFinite.lean 2 declarations
- CheegerHeatFisherTransport.lean 1 declarations
- CheegerHeatHopfAction.lean 3 declarations
- CheegerHeatLaplacianIntegral.lean 2 declarations
- CheegerHeatMassNonneg.lean 2 declarations
- CheegerHeatMassWeighted.lean 2 declarations
- CheegerResolventDavies.lean 4 declarations
- CheegerScaledResolventNonneg.lean 3 declarations
- CommonLocalHeatLegs.lean 1 declarations
- CompactGeneratorRange.lean 2 declarations
- CompactHeatPairing.lean 3 declarations
- DriftHeatFullDomain.lean 1 declarations
- DriftHeatGenerator.lean 1 declarations
- DriftHeatGradient.lean 1 declarations
- DriftHeatSobolev.lean 1 declarations
- DriftHeatSobolevPointwise.lean 1 declarations
- DriftResolvent.lean 6 declarations
- DualHeatPairing.lean 2 declarations
- EulerStepGenerator.lean 3 declarations
- FormGenerator.lean 15 declarations
- FormGeneratorSymmetric.lean 7 declarations
- FormGeneratorYoung.lean 2 declarations
- GeneratorEnergyDifferentiation.lean 2 declarations
- GeneratorSubgradient.lean 4 declarations
- HeatAction.lean 3 declarations
- HeatAverage.lean 2 declarations
- HeatBoundedRegularization.lean 1 declarations
- HeatBridge.lean 8 declarations
- HeatCZero.lean 1 declarations
- HeatClassical.lean 1 declarations
- HeatComparison.lean 2 declarations
- HeatContraction.lean 2 declarations
- HeatCost.lean 7 declarations
- HeatCostTopology.lean 2 declarations
- HeatDensity.lean 6 declarations
- HeatDensityCouplingCost.lean 2 declarations
- HeatDensityCouplingForward.lean 1 declarations
- HeatDiagonal.lean 3 declarations
- HeatDifferential.lean 1 declarations
- HeatEVI.lean 4 declarations
- HeatEnergyContinuity.lean 2 declarations
- HeatEnergyQuotient.lean 4 declarations
- HeatEntropyContinuity.lean 1 declarations
- HeatEntropyTransport.lean 4 declarations
- HeatFormContinuous.lean 2 declarations
- HeatGeneratorOperator.lean 9 declarations
- HeatHopfPlanContinuity.lean 2 declarations
- HeatIntegralSmoothing.lean 1 declarations
- HeatInverseSymbol.lean 17 declarations
- HeatLipschitz.lean 3 declarations
- HeatPositiveDerivative.lean 1 declarations
- HeatProbability.lean 6 declarations
- HeatSmoothingCoefficient.lean 2 declarations
- HeatSobolevTime.lean 3 declarations
- HeatSymbol.lean 19 declarations
- HeatVarianceDerivative.lean 1 declarations
- HopfHeatCommutation.lean 3 declarations
- InitialHeatLimit.lean 4 declarations
- LaplacianResolventUnique.lean 2 declarations
- MixedGeneratorPairing.lean 2 declarations
- PlanHeatEntropy.lean 6 declarations
- PointwiseHeatGradient.lean 4 declarations
- RealHeat.lean 10 declarations
- RealHeatRangeError.lean 4 declarations
- ResolventEVI.lean 1 declarations
- ResolventEnergy.lean 4 declarations
- ResolventGraphConvergence.lean 2 declarations
- ResolventSmoothing.lean 2 declarations
- ScaledResolventCfc.lean 4 declarations
- SharpHeatGradient.lean 5 declarations
- SobolevHeatPairing.lean 1 declarations
- SpatialHeat.lean 2 declarations
- SquareGeneratorPairing.lean 1 declarations
- StrictSurplusCarrier.lean 9 declarations
- VariableDissipationGenerator.lean 1 declarations
- WeightedDriftResolvent.lean 1 declarations
- WeightedHeatBE.lean 1 declarations
- WeightedHeatConcentration.lean 2 declarations
- WeightedHeatCostAction.lean 1 declarations
- WeightedHeatCurvatureContinuity.lean 1 declarations
- WeightedHeatEndpointAction.lean 2 declarations
- WeightedHeatFTC.lean 2 declarations
- WeightedHeatGammaContinuity.lean 1 declarations
- WeightedHeatGammaL2.lean 1 declarations
- WeightedHeatGradient.lean 3 declarations
- WeightedHeatGradientTest.lean 1 declarations
- WeightedHeatHamiltonJacobi.lean 1 declarations
- WeightedHeatHopfPointwise.lean 2 declarations
- WeightedHeatInterpolation.lean 2 declarations
- WeightedHeatLaw.lean 3 declarations
- WeightedHeatLawDual.lean 1 declarations
- WeightedHeatPairing.lean 6 declarations
- WeightedHeatPlanAction.lean 1 declarations
- WeightedHeatRegularity.lean 2 declarations
- WeightedHeatSmoothing.lean 1 declarations
- WeightedHeatSmoothingCore.lean 3 declarations
- WeightedHeatTransportCoupling.lean 1 declarations
- WeightedHeatVariableDissipation.lean 1 declarations
- WeightedHeatVariance.lean 2 declarations
- WeightedHopfHeatCommutation.lean 1 declarations