OAI/Geometry/IsometricImmersion/Comparison/
104 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- ActualClassComparisonGradient.lean 1 declarations
- ActualClassComparisonMoment.lean 1 declarations
- ActualClassComparisonSourceBound.lean 1 declarations
- ActualComparisonCoefficientData.lean 1 declarations
- ActualComparisonEnergy.lean 6 declarations
- ActualComparisonEquation.lean 7 declarations
- ActualComparisonGradient.lean 1 declarations
- ActualComparisonSource.lean 4 declarations
- ActualComparisonTestCost.lean 2 declarations
- ActualUniformComparisonGradient.lean 1 declarations
- BoundedClassApproximation.lean 2 declarations
- ClosureMetricApproximation.lean 8 declarations
- ComparisonCoefficientBounds.lean 2 declarations
- ComparisonCoefficientDerivative.lean 3 declarations
- ComparisonCoefficientSmooth.lean 9 declarations
- ComparisonEnergyScaling.lean 8 declarations
- ComparisonGradientSlice.lean 1 declarations
- ComparisonPulseGeometry.lean 4 declarations
- ComparisonSourceBounds.lean 6 declarations
- ComparisonUpperVelocity.lean 1 declarations
- CurvatureComparisonControl.lean 6 declarations
- CurvatureFullJetComparison.lean 3 declarations
- FiniteApproximationJets.lean 3 declarations
- OriginalClassComparisonWithLow.lean 1 declarations
- PulseClosureApproximation.lean 5 declarations
- QApproximationMargins.lean 1 declarations
- QFirstJetComparison.lean 3 declarations
- QMetricApproximationInputs.lean 4 declarations
- ShearFirstJetComparison.lean 9 declarations