OAI/Geometry/TamingCompatibility/Hodge/
1479 declarations, 0 contain sorry, 0 declared as axioms; 158 files
Files
- ClosureLinear.lean 2 declarations
- DyadicCorrectionProgress.lean 5 declarations
- HarmonicDualBound.lean 2 declarations
- HarmonicOffJet.lean 1 declarations
- HarmonicSeminormBound.lean 3 declarations
- HodgeActualAngular.lean 5 declarations
- HodgeActualGram.lean 1 declarations
- HodgeAngularPhysical.lean 3 declarations
- HodgeAngularPoint.lean 2 declarations
- HodgeAntiL2Cross.lean 2 declarations
- HodgeAntiNorms.lean 7 declarations
- HodgeAntiRHSBound.lean 4 declarations
- HodgeApproximateIdentity.lean 8 declarations
- HodgeAtlasCorrection.lean 1 declarations
- HodgeAtlasPatches.lean 23 declarations
- HodgeBoundedInputPrimitive.lean 5 declarations
- HodgeBoundedSection.lean 19 declarations
- HodgeCandidateEvolution.lean 2 declarations
- HodgeCandidateL2Bounds.lean 3 declarations
- HodgeChartScalar.lean 10 declarations
- HodgeClosedSmooth.lean 9 declarations
- HodgeCommutatorCover.lean 16 declarations
- HodgeCommutatorPowers.lean 7 declarations
- HodgeCompactCutoff.lean 1 declarations
- HodgeCompactExtension.lean 24 declarations
- HodgeCompactTimeIntegral.lean 3 declarations
- HodgeContinuousParametrix.lean 3 declarations
- HodgeConvergence.lean 4 declarations
- HodgeCoordinateRetraction.lean 9 declarations
- HodgeCorrectionLimit.lean 5 declarations
- HodgeCorrectionRegularization.lean 12 declarations
- HodgeCubeBound.lean 6 declarations
- HodgeCutoffBounds.lean 3 declarations
- HodgeCutoffFamilies.lean 9 declarations
- HodgeCutoffIntegral.lean 2 declarations
- HodgeCutoffSquare.lean 10 declarations
- HodgeDifferentialLocality.lean 16 declarations
- HodgeDirectionCoordinates.lean 15 declarations
- HodgeErrorInitial.lean 4 declarations
- HodgeFiniteFrameResolution.lean 19 declarations
- HodgeFrameDifferential.lean 29 declarations
- HodgeFrameH1.lean 5 declarations
- HodgeFrameTest.lean 25 declarations
- HodgeFrozenEnergy.lean 23 declarations
- HodgeGammaFubini.lean 2 declarations
- HodgeGammaLinearTransfer.lean 16 declarations
- HodgeGammaLocal.lean 5 declarations
- HodgeGammaSplit.lean 11 declarations
- HodgeGammaTailPairing.lean 3 declarations
- HodgeGammaWeakAction.lean 2 declarations
- HodgeGaussianSchur.lean 13 declarations
- HodgeGeometricCoefficients.lean 17 declarations
- HodgeGeometricDistance.lean 9 declarations
- HodgeGeometricGarding.lean 11 declarations
- HodgeGlobalAngular.lean 3 declarations
- HodgeGlobalCorrection.lean 8 declarations
- HodgeGlobalEvaluation.lean 15 declarations
- HodgeGlobalGamma.lean 5 declarations
- HodgeGlobalKernelContinuity.lean 10 declarations
- HodgeGlobalKernelForms.lean 18 declarations
- HodgeGlobalParametrix.lean 13 declarations
- HodgeGlobalSmooth.lean 21 declarations
- HodgeGraphSmoothing.lean 7 declarations
- HodgeH1.lean 9 declarations
- HodgeHarmonicRegular.lean 3 declarations
- HodgeHarmonicSmooth.lean 16 declarations
- HodgeInputDuhamel.lean 4 declarations
- HodgeInputInitial.lean 7 declarations
- HodgeInputLinearity.lean 3 declarations
- HodgeIntrinsicUnitLine.lean 9 declarations
- HodgeJointPartition.lean 1 declarations
- HodgeKernelAction.lean 11 declarations
- HodgeKernelCanonical.lean 9 declarations
- HodgeKernelChartGaussian.lean 5 declarations
- HodgeKernelGammaBounds.lean 35 declarations
- HodgeKernelSeriesCore.lean 21 declarations
- HodgeKernelTestTransform.lean 13 declarations
- HodgeKernelWeakAction.lean 6 declarations
- HodgeL2.lean 5 declarations
- HodgeL2Coefficients.lean 16 declarations
- HodgeLeadingDuhamel.lean 2 declarations
- HodgeLiftUnitBound.lean 3 declarations
- HodgeLocalCodifferential.lean 13 declarations
- HodgeLocalCoefficients.lean 6 declarations
- HodgeLocalEvaluation.lean 9 declarations
- HodgeLocalKernel.lean 11 declarations
- HodgeLocalSmooth.lean 12 declarations
- HodgeManifoldKernelExtension.lean 8 declarations
- HodgeManifoldPairingInitial.lean 5 declarations
- HodgeMassBound.lean 2 declarations
- HodgeMatrixEnergy.lean 28 declarations
- HodgeMixing.lean 4 declarations
- HodgeNormalDistance.lean 5 declarations
- HodgeNormalDistribution.lean 19 declarations
- HodgeNormalEnergy.lean 12 declarations
- HodgeNormalInverse.lean 19 declarations
- HodgeNormalSliceIntegral.lean 5 declarations
- HodgePairAllTests.lean 9 declarations
- HodgePairing.lean 10 declarations
- HodgePairingIntegral.lean 16 declarations
- HodgePairingLocal.lean 4 declarations
- HodgePairingStar.lean 2 declarations
- HodgeParametrixDomain.lean 11 declarations
- HodgeParametrixFormWeak.lean 14 declarations
- HodgeParametrixGaussian.lean 4 declarations
- HodgeParametrixInitial.lean 7 declarations
- HodgeParametrixLocalWeak.lean 2 declarations
- HodgeParametrixPartition.lean 6 declarations
- HodgeParametrixPatch.lean 8 declarations
- HodgeParametrixWeakEquation.lean 13 declarations
- HodgePatchAllCenters.lean 15 declarations
- HodgePatchContinuity.lean 27 declarations
- HodgePatchLocalInitial.lean 7 declarations
- HodgePatchPairing.lean 9 declarations
- HodgePointKernelBounds.lean 7 declarations
- HodgePositiveCrossLower.lean 2 declarations
- HodgeProjectionRaw.lean 8 declarations
- HodgeQuantitative.lean 4 declarations
- HodgeRawRegular.lean 4 declarations
- HodgeRegularization.lean 14 declarations
- HodgeScalarJet.lean 29 declarations
- HodgeScalarRaw.lean 13 declarations
- HodgeScalarSquare.lean 11 declarations
- HodgeScaleH3.lean 6 declarations
- HodgeScaleSmoothing.lean 9 declarations
- HodgeSeparatingMass.lean 3 declarations
- HodgeShiftedRegularity.lean 3 declarations
- HodgeSmoothCommutation.lean 13 declarations
- HodgeSmoothCommutator.lean 16 declarations
- HodgeSmoothInverse.lean 14 declarations
- HodgeSmoothLaplacian.lean 9 declarations
- HodgeSmoothLimit.lean 10 declarations
- HodgeSmoothPatch.lean 6 declarations
- HodgeSmoothSpatial.lean 11 declarations
- HodgeSmoothingCover.lean 22 declarations
- HodgeStarGeometry.lean 16 declarations
- HodgeStarNormalGauge.lean 9 declarations
- HodgeSubprobMass.lean 2 declarations
- HodgeSymbol.lean 23 declarations
- HodgeTestPairing.lean 6 declarations
- HodgeUniformCommutator.lean 7 declarations
- HodgeUniformOdd.lean 6 declarations
- HodgeUnitDual.lean 8 declarations
- HodgeUnitKernelBounds.lean 11 declarations
- HodgeVolterraKernel.lean 33 declarations
- HodgeVolterraPairing.lean 8 declarations
- HodgeWeakCompact.lean 3 declarations
- HodgeWedgeEnergy.lean 16 declarations
- HodgeWedgeMassLower.lean 5 declarations
- HodgeWedgeMassUpper.lean 5 declarations
- HodgeWedgeQuantitative.lean 5 declarations
- HodgeWedgeTail.lean 4 declarations
- HodgeWeightNorm.lean 14 declarations
- HodgeWeightedAdjoint.lean 8 declarations
- LocalCodifferential.lean 8 declarations
- NormalizedHarmonicRHS.lean 4 declarations
- RadialHarmonicCompact.lean 4 declarations
- SmoothCorrection.lean 4 declarations