OAI/Geometry/TamingCompatibility/DifferentialForms/
1690 declarations, 0 contain sorry, 0 declared as axioms; 182 files
Files
- AmbientKernelLift.lean 4 declarations
- AntiDdcBound.lean 11 declarations
- AntiEnergy.lean 10 declarations
- AntiEnergyWeak.lean 4 declarations
- AntiInvariantFrame.lean 15 declarations
- AntiSmoothMultiply.lean 4 declarations
- Bessel.lean 11 declarations
- BoundedMassLimit.lean 6 declarations
- CenterUniformJet.lean 2 declarations
- ChristoffelCLM.lean 16 declarations
- ClosedGraphLift.lean 7 declarations
- ClosedLiftBasisBound.lean 2 declarations
- ClosedLiftData.lean 16 declarations
- ClosedUnitEvaluation.lean 4 declarations
- ComplexEquiv.lean 19 declarations
- ComplexMatrix.lean 10 declarations
- ComplexReal.lean 30 declarations
- ComplexSquare.lean 6 declarations
- ConstantGeometricEnergy.lean 6 declarations
- ContDiffApply.lean 12 declarations
- ContDiffLinearEmbedding.lean 34 declarations
- CorrectedDdcOff.lean 1 declarations
- CounterexampleEnergyData.lean 1 declarations
- CounterexampleMassEnergy.lean 1 declarations
- CriticalHolder.lean 3 declarations
- CriticalInverse.lean 4 declarations
- CriticalRescale.lean 8 declarations
- CutGradientBound.lean 1 declarations
- DirectionalEnergy.lean 20 declarations
- Dpos.lean 25 declarations
- Dpos2.lean 13 declarations
- End.lean 13 declarations
- EuclideanAngularDomain.lean 11 declarations
- EuclideanAngularNearPoint.lean 4 declarations
- EuclideanAngularPoint.lean 4 declarations
- EuclideanAngularRadial.lean 5 declarations
- EuclideanUnitPlanes.lean 10 declarations
- FiberMap.lean 12 declarations
- FirstMatrixJoint.lean 12 declarations
- FirstOrderAntiDdc.lean 3 declarations
- Form.lean 28 declarations
- FormEquiv.lean 12 declarations
- FormPairing.lean 32 declarations
- FourthMomentKernel.lean 4 declarations
- FourthWeightedKernel.lean 11 declarations
- FramePairing.lean 9 declarations
- FullGreenObservation.lean 1 declarations
- FunSmul.lean 12 declarations
- GeometricFrameTest.lean 21 declarations
- GeometricFredholm.lean 6 declarations
- GeometricScaledJet.lean 5 declarations
- GeometricVolumeBall.lean 2 declarations
- GeometricVolumeGrowth.lean 1 declarations
- GreenNeg.lean 22 declarations
- Helmholtz.lean 14 declarations
- Hermitian.lean 7 declarations
- HermitianAssembly.lean 2 declarations
- HermitianCoefficientBounds.lean 16 declarations
- HermitianCombinedBounds.lean 1 declarations
- HermitianCombinedForms.lean 5 declarations
- HermitianCorrectedLower.lean 7 declarations
- HermitianDistance.lean 4 declarations
- HermitianErrorSources.lean 20 declarations
- HermitianFarSmooth.lean 9 declarations
- HermitianGeometricAssembly.lean 2 declarations
- HermitianGeometricCenter.lean 3 declarations
- HermitianGeometricEstimates.lean 2 declarations
- HermitianGlobalLower.lean 2 declarations
- HermitianOff.lean 4 declarations
- HermitianPerturbation.lean 6 declarations
- HermitianPhysicalJets.lean 10 declarations
- HermitianShell.lean 5 declarations
- HermitianShellIntegral.lean 4 declarations
- HermitianShiftedSources.lean 20 declarations
- HermitianSupportedSources.lean 8 declarations
- HermitianTestFactory.lean 1 declarations
- HermitianTraceTranslation.lean 4 declarations
- HermitianUniformInputs.lean 8 declarations
- HermitianUnitMetric.lean 8 declarations
- HermitianVariableProfiles.lean 14 declarations
- InnerJLeft.lean 19 declarations
- InteriorEstimateApply.lean 5 declarations
- JAction.lean 40 declarations
- JetBasis.lean 15 declarations
- JetOperator.lean 19 declarations
- Kernel.lean 11 declarations
- Linear.lean 19 declarations
- LinearCenterEnergy.lean 2 declarations
- LinearUniform.lean 5 declarations
- LogErrorAbsorption.lean 3 declarations
- MetricCoords.lean 5 declarations
- MetricDensity.lean 13 declarations
- MetricL2Core.lean 8 declarations
- MetricOperatorInner.lean 5 declarations
- MetricPairingCLM.lean 4 declarations
- MetricSquareEstimate.lean 4 declarations
- MetricTensor.lean 29 declarations
- NegativeWeightMoment.lean 3 declarations
- PairingSmooth.lean 4 declarations
- ParameterCoefficients.lean 11 declarations
- ParameterEnergyJet.lean 2 declarations
- ParameterInterior.lean 5 declarations
- ParameterScaledJet.lean 1 declarations
- PerturbationNeg.lean 21 declarations
- PhysicalSchur.lean 12 declarations
- PhysicalUnitProfile.lean 2 declarations
- PlaneConvolution.lean 6 declarations
- PlaneFirstVariation.lean 10 declarations
- PlaneTestCoefficient.lean 2 declarations
- PlaneTransverseGraph.lean 13 declarations
- PositiveFunctions.lean 10 declarations
- PositiveTestMass.lean 4 declarations
- Product.lean 12 declarations
- QuantitativeInterior.lean 7 declarations
- RadialCoefficientProfiles.lean 13 declarations
- RadialDilations.lean 2 declarations
- RadialErrorEstimates.lean 2 declarations
- RadialErrorSources.lean 17 declarations
- RadialFixedJet.lean 2 declarations
- RadialGeometricAssembly.lean 10 declarations
- RadialGeometricCoefficient.lean 16 declarations
- RadialGradientBridge.lean 37 declarations
- RadialJetConstants.lean 6 declarations
- RadialLower.lean 12 declarations
- RadialMixedDyadic.lean 6 declarations
- RadialMixedLogDyadic.lean 5 declarations
- RadialObserverScale.lean 8 declarations
- RadialRHSIdentification.lean 8 declarations
- RadialReconstruction.lean 16 declarations
- RadialScalarNear.lean 3 declarations
- RadialScalarOff.lean 10 declarations
- RadialShiftedSources.lean 20 declarations
- RadialVariableProfiles.lean 15 declarations
- RationalKernelCompare.lean 13 declarations
- RawInterior.lean 1 declarations
- RawJetEstimate.lean 18 declarations
- RawPairLinear.lean 1 declarations
- RawRepresentative.lean 2 declarations
- RawTest.lean 15 declarations
- Regular.lean 5 declarations
- RiemannianSmoothLipschitz.lean 3 declarations
- ScalarBoundaryIntegrals.lean 4 declarations
- ScalarJet.lean 12 declarations
- ScalarSecondOrder.lean 5 declarations
- ScalarSquare.lean 4 declarations
- ScalarWedgeBounds.lean 3 declarations
- ScaledLower.lean 5 declarations
- ScaledNearData.lean 2 declarations
- ScaledOffData.lean 2 declarations
- SecondPlaneVariation.lean 5 declarations
- SecondVariationIntegral.lean 7 declarations
- SecondVariationLimit.lean 1 declarations
- Sign.lean 21 declarations
- SingleFamily.lean 17 declarations
- SmoothGeometricInverse.lean 8 declarations
- SmoothInverseData.lean 1 declarations
- SmoothPatchGlue.lean 4 declarations
- SmoothUnitEvaluation.lean 6 declarations
- SmoothingKernel.lean 9 declarations
- Space.lean 13 declarations
- SquareLower.lean 1 declarations
- Star.lean 26 declarations
- StarTwoComp.lean 30 declarations
- SummableRestriction.lean 3 declarations
- SymbolMap.lean 20 declarations
- TestEvaluation.lean 6 declarations
- TestLinear.lean 8 declarations
- TopForms.lean 8 declarations
- TwoDirection.lean 12 declarations
- UniformInterior.lean 7 declarations
- UniformScaledJet.lean 5 declarations
- UnitTransverseCut.lean 5 declarations
- UnitTransverseIntegrable.lean 2 declarations
- UnitTransverseLimit.lean 4 declarations
- UnitTransversePair.lean 4 declarations
- UnitTransversePairProduct.lean 6 declarations
- UnitaryFrame.lean 32 declarations
- UnitaryVectors.lean 11 declarations
- Wedge.lean 15 declarations
- WedgeTransform.lean 13 declarations
- WeightedLower.lean 8 declarations
- WeightedRawPairing.lean 6 declarations