OAI/Geometry/IsometricImmersion/Calculus/
307 declarations, 0 contain sorry, 0 declared as axioms; 37 files
Files
- AffineCovariantHessian.lean 13 declarations
- AffineHessian.lean 8 declarations
- AffineTensorJetBounds.lean 21 declarations
- BoundedClassInitialJet.lean 5 declarations
- ClosedSquareJetBounds.lean 6 declarations
- CoordinateDerivatives.lean 7 declarations
- CoordinateJetBounds.lean 13 declarations
- CoordinateJetNorm.lean 6 declarations
- CoordinateJetReverseNorm.lean 5 declarations
- ExtremumHessian.lean 12 declarations
- FinitePrimitive.lean 16 declarations
- FiniteUpperMetricJets.lean 6 declarations
- HessianCommutator.lean 11 declarations
- HessianJetBounds.lean 10 declarations
- HessianQuotientLowBounds.lean 2 declarations
- HessianTransport.lean 4 declarations
- HorizontalJetCalculus.lean 8 declarations
- JointDerivative.lean 4 declarations
- MetricInverseJetBounds.lean 7 declarations
- MetricTwoJet.lean 7 declarations
- MixedCoordinateCalculus.lean 11 declarations
- MovingFirstJetBase.lean 8 declarations
- MovingIntervalCalculus.lean 13 declarations
- NormalDerivative.lean 7 declarations
- NormedCoordinateCalculus.lean 3 declarations
- QuotientCalculus.lean 9 declarations
- QuotientLowBounds.lean 16 declarations
- QuotientLowRecurrence.lean 9 declarations
- SecondJetExtraction.lean 5 declarations
- ShearHeightJets.lean 6 declarations
- ShearMetricFullJets.lean 3 declarations
- ShearMetricJets.lean 8 declarations
- ShearedMetricFiniteJets.lean 1 declarations
- SmoothCurry.lean 3 declarations
- SmoothMetricJet.lean 6 declarations
- StateJetSegment.lean 18 declarations
- VerticalSliceJets.lean 10 declarations