All.lean`

GitHub source file

0 declarations, 0 contain sorry, 0 declared as axioms

This file declares nothing itself. It gathers the 446 imports below, so a file that imports it gets all of them.

Imports

OAI.Geometry.IsometricImmersion.Darboux.Drift
OAI.Geometry.IsometricImmersion.Caps.EnergyCauchySchwarz
OAI.Geometry.IsometricImmersion.Immersions.FiniteHeight
OAI.Geometry.IsometricImmersion.Energy.FiniteProductL2
OAI.Geometry.IsometricImmersion.Calculus.CoordinateDerivatives
OAI.Geometry.IsometricImmersion.Estimates.HighFactorOrders
OAI.Geometry.IsometricImmersion.Calculus.JointDerivative
OAI.Geometry.IsometricImmersion.Energy.MultiplierAbsorption
OAI.Geometry.IsometricImmersion.Immersions.NormalSpace
OAI.Geometry.IsometricImmersion.Flows.Existence
OAI.Geometry.IsometricImmersion.Immersions.RankOne2
OAI.Geometry.IsometricImmersion.Energy.RectangleSobolevOne
OAI.Geometry.IsometricImmersion.Coordinates.ShearSpeedBounds
OAI.Geometry.IsometricImmersion.Calculus.SmoothCurry
OAI.Geometry.IsometricImmersion.Taylor.TimeTaylorKernel
OAI.Geometry.IsometricImmersion.Volterra.VolterraOperator
OAI.Geometry.IsometricImmersion.Metric
OAI.Geometry.IsometricImmersion.Darboux.DriftTransportAlgebra
OAI.Geometry.IsometricImmersion.Energy.FiniteSumL2
OAI.Geometry.IsometricImmersion.Calculus.QuotientCalculus
OAI.Geometry.IsometricImmersion.Volterra.VolterraInverse
OAI.Geometry.IsometricImmersion.Immersions.ActualHeight
OAI.Geometry.IsometricImmersion.Curvature.CurvatureParameter
OAI.Geometry.IsometricImmersion.Darboux.DriftBounds
OAI.Geometry.IsometricImmersion.Immersions.InducedMetric
OAI.Geometry.IsometricImmersion.LocalDomains
OAI.Geometry.IsometricImmersion.Metrics.MetricSmoothness
OAI.Geometry.IsometricImmersion.Metrics.ModelProfile
OAI.Geometry.IsometricImmersion.Coordinates.OrientationNet
OAI.Geometry.IsometricImmersion.Metrics.SmoothMetricRestriction
OAI.Geometry.IsometricImmersion.Metrics.WarpedMetric
OAI.Geometry.IsometricImmersion.Coordinates.AffinePullback
OAI.Geometry.IsometricImmersion.Calculus.ExtremumHessian
OAI.Geometry.IsometricImmersion.Curvature.GaussConnection
OAI.Geometry.IsometricImmersion.Energy.HeightEnergy
OAI.Geometry.IsometricImmersion.Calculus.HessianCommutator
OAI.Geometry.IsometricImmersion.Calculus.NormedCoordinateCalculus
OAI.Geometry.IsometricImmersion.Immersions.RankOneOrientation
OAI.Geometry.IsometricImmersion.Volterra.VolterraDifferentiation
OAI.Geometry.IsometricImmersion.Pulses.ActualForcingCoefficient
OAI.Geometry.IsometricImmersion.Calculus.AffineHessian
OAI.Geometry.IsometricImmersion.Coordinates.AffinePushforward
OAI.Geometry.IsometricImmersion.Darboux.DarbouxJet
OAI.Geometry.IsometricImmersion.Curvature.GaussFormula
OAI.Geometry.IsometricImmersion.Metrics.MetricCompatibility
OAI.Geometry.IsometricImmersion.Metrics.MetricLocality
OAI.Geometry.IsometricImmersion.Volterra.VolterraParameterJets
OAI.Geometry.IsometricImmersion.Volterra.VolterraPositive
OAI.Geometry.IsometricImmersion.Energy.WeightedMultiplier
OAI.Geometry.IsometricImmersion.Darboux.ActualDriftCoefficients
OAI.Geometry.IsometricImmersion.Curvature.CurvatureParameterJets
OAI.Geometry.IsometricImmersion.Darboux.DarbouxEquation
OAI.Geometry.IsometricImmersion.Caps.EllipticCutoff
OAI.Geometry.IsometricImmersion.Curvature.GaussEquation
OAI.Geometry.IsometricImmersion.Immersions.HeightNorm
OAI.Geometry.IsometricImmersion.Curvature.IntrinsicCurvature
OAI.Geometry.IsometricImmersion.Calculus.MetricTwoJet
OAI.Geometry.IsometricImmersion.Energy.MultiplierDivergence
OAI.Geometry.IsometricImmersion.Immersions.NormalField
OAI.Geometry.IsometricImmersion.Coordinates.PatchGeometry
OAI.Geometry.IsometricImmersion.Calculus.QuotientLowRecurrence
OAI.Geometry.IsometricImmersion.Curvature.AffineConnection
OAI.Geometry.IsometricImmersion.Caps.EllipticCutoffEdge
OAI.Geometry.IsometricImmersion.Darboux.HeightEquation
OAI.Geometry.IsometricImmersion.Calculus.HessianTransport
OAI.Geometry.IsometricImmersion.Curvature.MetricCurvatureJet
OAI.Geometry.IsometricImmersion.Energy.MultiplierIntegral
OAI.Geometry.IsometricImmersion.Calculus.NormalDerivative
OAI.Geometry.IsometricImmersion.Calculus.QuotientLowBounds
OAI.Geometry.IsometricImmersion.Darboux.SixVariableDarboux
OAI.Geometry.IsometricImmersion.Darboux.TransverseCoefficient
OAI.Geometry.IsometricImmersion.Volterra.VolterraJointSmooth
OAI.Geometry.IsometricImmersion.Taylor.ActualDarbouxFaa
OAI.Geometry.IsometricImmersion.Darboux.ActualDriftEquation
OAI.Geometry.IsometricImmersion.Calculus.AffineCovariantHessian
OAI.Geometry.IsometricImmersion.Curvature.AffineCurvature
OAI.Geometry.IsometricImmersion.Immersions.BoundaryNormal
OAI.Geometry.IsometricImmersion.Calculus.CoordinateJetBounds
OAI.Geometry.IsometricImmersion.Darboux.CurvaturePrincipalPart
OAI.Geometry.IsometricImmersion.Caps.EllipticEnergy
OAI.Geometry.IsometricImmersion.Pulses.ForcingCoefficientSign
OAI.Geometry.IsometricImmersion.Calculus.HessianQuotientLowBounds
OAI.Geometry.IsometricImmersion.Energy.HyperbolicEnergyDensity
OAI.Geometry.IsometricImmersion.Curvature.NegativeCurvatureHeight
OAI.Geometry.IsometricImmersion.Energy.RectangleSobolev
OAI.Geometry.IsometricImmersion.Calculus.SmoothMetricJet
OAI.Geometry.IsometricImmersion.Calculus.StateJetSegment
OAI.Geometry.IsometricImmersion.Volterra.VolterraGlue
OAI.Geometry.IsometricImmersion.Energy.WeightPrimitive
OAI.Geometry.IsometricImmersion.Taylor.ChainTermDerivative
OAI.Geometry.IsometricImmersion.Immersions.CompactBoundaryExtremum
OAI.Geometry.IsometricImmersion.Coordinates.CoordinateFirstBounds
OAI.Geometry.IsometricImmersion.Calculus.CoordinateJetNorm
OAI.Geometry.IsometricImmersion.Coordinates.CoordinateSwap
OAI.Geometry.IsometricImmersion.Energy.DirectedBounds
OAI.Geometry.IsometricImmersion.Caps.EllipticAbsorption
OAI.Geometry.IsometricImmersion.Calculus.FinitePrimitive
OAI.Geometry.IsometricImmersion.Flows.FlowExistence
OAI.Geometry.IsometricImmersion.Obstructions.LocalAdmissibility
OAI.Geometry.IsometricImmersion.Calculus.MetricInverseJetBounds
OAI.Geometry.IsometricImmersion.Curvature.PrescribedCurvature
OAI.Geometry.IsometricImmersion.Energy.RegionSobolev
OAI.Geometry.IsometricImmersion.Coordinates.RoundDisk
OAI.Geometry.IsometricImmersion.Metrics.UniversalMetricP
OAI.Geometry.IsometricImmersion.Calculus.VerticalSliceJets
OAI.Geometry.IsometricImmersion.Assembly.AccumulatingDisks
OAI.Geometry.IsometricImmersion.Taylor.ChainResidual
OAI.Geometry.IsometricImmersion.Flows.CompactParameterIntegral
OAI.Geometry.IsometricImmersion.Energy.DirectedCoercivity
OAI.Geometry.IsometricImmersion.Energy.DirectedCutoffBalance
OAI.Geometry.IsometricImmersion.Obstructions.DiskBoundaryObstruction
OAI.Geometry.IsometricImmersion.Caps.EllipticC1
OAI.Geometry.IsometricImmersion.Caps.EllipticRatio
OAI.Geometry.IsometricImmersion.Calculus.HessianJetBounds
OAI.Geometry.IsometricImmersion.Metrics.MetricPBundleBounds
OAI.Geometry.IsometricImmersion.Metrics.ModelMetric
OAI.Geometry.IsometricImmersion.Flows.PicardFamily
OAI.Geometry.IsometricImmersion.Darboux.SixVariableLinearization
OAI.Geometry.IsometricImmersion.Darboux.SwappedDarboux
OAI.Geometry.IsometricImmersion.Energy.WeightPrimitiveParameter
OAI.Geometry.IsometricImmersion.Caps.CapFlow
OAI.Geometry.IsometricImmersion.Curvature.CurvatureFirstBounds
OAI.Geometry.IsometricImmersion.Energy.DirectedIntegralEstimate
OAI.Geometry.IsometricImmersion.Curvature.DiskCurvatureProfiles
OAI.Geometry.IsometricImmersion.Caps.EllipticApplication
OAI.Geometry.IsometricImmersion.Coordinates.ExteriorAnnuli
OAI.Geometry.IsometricImmersion.Assembly.FlatPatchSum
OAI.Geometry.IsometricImmersion.Estimates.LargestBlockLinearization
OAI.Geometry.IsometricImmersion.Metrics.ModelCoercivity
OAI.Geometry.IsometricImmersion.Calculus.MovingIntervalCalculus
OAI.Geometry.IsometricImmersion.Darboux.SixVariableQ
OAI.Geometry.IsometricImmersion.Metrics.StateCoefficientTube
OAI.Geometry.IsometricImmersion.Assembly.SupportedPerturbations
OAI.Geometry.IsometricImmersion.Taylor.TopChainExtraction
OAI.Geometry.IsometricImmersion.Calculus.AffineTensorJetBounds
OAI.Geometry.IsometricImmersion.Assembly.DiagonalAmplitudes
OAI.Geometry.IsometricImmersion.Energy.DirectedEdgeDefect
OAI.Geometry.IsometricImmersion.Caps.EllipticGradient
OAI.Geometry.IsometricImmersion.Coordinates.ExteriorCenterNets
OAI.Geometry.IsometricImmersion.Flows.FlowParameter
OAI.Geometry.IsometricImmersion.Darboux.ModelPrincipal
OAI.Geometry.IsometricImmersion.Energy.MovingHyperbolicEnergy
OAI.Geometry.IsometricImmersion.Pulses.PulseProfiles
OAI.Geometry.IsometricImmersion.Darboux.QPrincipal
OAI.Geometry.IsometricImmersion.Assembly.SupportedMetricJets
OAI.Geometry.IsometricImmersion.Assembly.SupportedNeighborhoods
OAI.Geometry.IsometricImmersion.Assembly.SupportedSmoothComplete
OAI.Geometry.IsometricImmersion.Assembly.TensorSeriesLocality
OAI.Geometry.IsometricImmersion.Metrics.AffineTensorNeighborhood
OAI.Geometry.IsometricImmersion.Comparison.ClosureMetricApproximation
OAI.Geometry.IsometricImmersion.Assembly.DisjointTensorAssembly
OAI.Geometry.IsometricImmersion.Flows.FlowParameterContinuity
OAI.Geometry.IsometricImmersion.Metrics.MetricPatchOpen
OAI.Geometry.IsometricImmersion.Coordinates.OrientedCenterNets
OAI.Geometry.IsometricImmersion.Pulses.PulseCurvaturePrincipal
OAI.Geometry.IsometricImmersion.Pulses.PulseDerivativeBounds
OAI.Geometry.IsometricImmersion.Pulses.PulseMoment
OAI.Geometry.IsometricImmersion.Darboux.QSegmentDomain
OAI.Geometry.IsometricImmersion.Energy.SqrtEnergyGronwall
OAI.Geometry.IsometricImmersion.Immersions.ActualShearHeight
OAI.Geometry.IsometricImmersion.Coordinates.AffinePatchSquares
OAI.Geometry.IsometricImmersion.Curvature.CurvatureLowerTube
OAI.Geometry.IsometricImmersion.Pulses.FiniteOscillatoryMoment
OAI.Geometry.IsometricImmersion.Flows.FlowVariation
OAI.Geometry.IsometricImmersion.Energy.MovingEnergyPropagation
OAI.Geometry.IsometricImmersion.Pulses.PulseMomentGeometry
OAI.Geometry.IsometricImmersion.Pulses.PulseNeighborhood
OAI.Geometry.IsometricImmersion.Pulses.PulseSecondXi
OAI.Geometry.IsometricImmersion.Darboux.QCoefficientTube
OAI.Geometry.IsometricImmersion.Pulses.ActualForcingMoment
OAI.Geometry.IsometricImmersion.Coordinates.ActualShearHyperbolicity
OAI.Geometry.IsometricImmersion.Pulses.CutoffEdgeMoment
OAI.Geometry.IsometricImmersion.Flows.FlowJointSmooth
OAI.Geometry.IsometricImmersion.Energy.MovingSlabEnergy
OAI.Geometry.IsometricImmersion.Coordinates.OrientedPatchSquares
OAI.Geometry.IsometricImmersion.Pulses.PulseFirstJetControl
OAI.Geometry.IsometricImmersion.Pulses.PulseNeighborhoodAdapters
OAI.Geometry.IsometricImmersion.Darboux.QSegmentMargins
OAI.Geometry.IsometricImmersion.Flows.FlowBounds
OAI.Geometry.IsometricImmersion.Flows.FlowCurvature
OAI.Geometry.IsometricImmersion.Energy.MovingEnergyGradient
OAI.Geometry.IsometricImmersion.Obstructions.PatchAdmissibility
OAI.Geometry.IsometricImmersion.Curvature.PatchCurvatureProfiles
OAI.Geometry.IsometricImmersion.Comparison.PulseClosureApproximation
OAI.Geometry.IsometricImmersion.Pulses.PulseDensitySlab
OAI.Geometry.IsometricImmersion.Pulses.PulseMomentError
OAI.Geometry.IsometricImmersion.Darboux.QSegmentAveraging
OAI.Geometry.IsometricImmersion.Assembly.AssemblyProfiles
OAI.Geometry.IsometricImmersion.Calculus.ClosedSquareJetBounds
OAI.Geometry.IsometricImmersion.Comparison.CurvatureComparisonControl
OAI.Geometry.IsometricImmersion.Flows.FlowInverse
OAI.Geometry.IsometricImmersion.Flows.FlowSecondVariation
OAI.Geometry.IsometricImmersion.Flows.FlowTransport
OAI.Geometry.IsometricImmersion.Energy.MovingIntervalSobolev
OAI.Geometry.IsometricImmersion.Immersions.OrientedHeightPullback
OAI.Geometry.IsometricImmersion.Pulses.PulseTestEnergy
OAI.Geometry.IsometricImmersion.Caps.CapCutoffGeometry
OAI.Geometry.IsometricImmersion.Caps.CapFlowUniqueness
OAI.Geometry.IsometricImmersion.Comparison.CurvatureFullJetComparison
OAI.Geometry.IsometricImmersion.Assembly.EnumeratedPatchTensors
OAI.Geometry.IsometricImmersion.Flows.FlowChart
OAI.Geometry.IsometricImmersion.Flows.FlowHeightCoefficients
OAI.Geometry.IsometricImmersion.Flows.FlowThirdVariation
OAI.Geometry.IsometricImmersion.Curvature.InitialCurvature
OAI.Geometry.IsometricImmersion.Energy.MovingIntervalSourceL2
OAI.Geometry.IsometricImmersion.Pulses.PulseActualDensity
OAI.Geometry.IsometricImmersion.Pulses.PulseSpatialParts
OAI.Geometry.IsometricImmersion.Obstructions.UniversalPatchSelection
OAI.Geometry.IsometricImmersion.Caps.CapEllipticOverlap
OAI.Geometry.IsometricImmersion.Caps.CapJacobian
OAI.Geometry.IsometricImmersion.Flows.ConstructedHeightFlow
OAI.Geometry.IsometricImmersion.Darboux.DriftOperatorIdentity
OAI.Geometry.IsometricImmersion.Flows.FlowTimeVariation
OAI.Geometry.IsometricImmersion.Immersions.HeightCoefficientRegularity
OAI.Geometry.IsometricImmersion.Assembly.InitialAssemblyMetric
OAI.Geometry.IsometricImmersion.Calculus.MovingFirstJetBase
OAI.Geometry.IsometricImmersion.Caps.OpenCapFlowUniqueness
OAI.Geometry.IsometricImmersion.Metrics.PatchTensorRestriction
OAI.Geometry.IsometricImmersion.Pulses.PulseDensityGlobal
OAI.Geometry.IsometricImmersion.Pulses.PulseTemporalParts
OAI.Geometry.IsometricImmersion.Darboux.QMetricDensityDecomposition
OAI.Geometry.IsometricImmersion.Caps.CapAreaFormula
OAI.Geometry.IsometricImmersion.Energy.DirectedFarNegative
OAI.Geometry.IsometricImmersion.Energy.DirectedFluxCost
OAI.Geometry.IsometricImmersion.Flows.FlowLowBounds
OAI.Geometry.IsometricImmersion.Energy.HeightEnergyJetBounds
OAI.Geometry.IsometricImmersion.Calculus.HorizontalJetCalculus
OAI.Geometry.IsometricImmersion.Coordinates.PatchAddressModel
OAI.Geometry.IsometricImmersion.Obstructions.PatchAdmissibilityRestriction
OAI.Geometry.IsometricImmersion.Flows.PatchFlowCoercivity
OAI.Geometry.IsometricImmersion.Metrics.PatchTensorPositivity
OAI.Geometry.IsometricImmersion.Darboux.QFirstJetFunctions
OAI.Geometry.IsometricImmersion.Calculus.SecondJetExtraction
OAI.Geometry.IsometricImmersion.Estimates.ActualHighEquation
OAI.Geometry.IsometricImmersion.Assembly.AssembledImmersionHeight
OAI.Geometry.IsometricImmersion.Caps.CapDensityBounds
OAI.Geometry.IsometricImmersion.Caps.CapFlowCoordinateJets
OAI.Geometry.IsometricImmersion.Caps.ConstructedCapArea
OAI.Geometry.IsometricImmersion.Energy.DirectedParameterChoice
OAI.Geometry.IsometricImmersion.Energy.DirectedWeightJetCost
OAI.Geometry.IsometricImmersion.Flows.FlowImageFirstBounds
OAI.Geometry.IsometricImmersion.Immersions.HeightPFirstBounds
OAI.Geometry.IsometricImmersion.Energy.PatchDirectedCoercivity
OAI.Geometry.IsometricImmersion.Comparison.QFirstJetComparison
OAI.Geometry.IsometricImmersion.Darboux.QSpatialJets
OAI.Geometry.IsometricImmersion.Darboux.ActualHighDrift
OAI.Geometry.IsometricImmersion.Caps.CapFlowJetBounds
OAI.Geometry.IsometricImmersion.Caps.CapGradientTransport
OAI.Geometry.IsometricImmersion.Energy.DirectedDefectCost
OAI.Geometry.IsometricImmersion.Flows.FlowImageMargin
OAI.Geometry.IsometricImmersion.Immersions.HeightCoefficientClosedBounds
OAI.Geometry.IsometricImmersion.Darboux.QMetricFirstErrorBound
OAI.Geometry.IsometricImmersion.Taylor.ScalarChainExpansion
OAI.Geometry.IsometricImmersion.Taylor.TaylorSeparatedProduct
OAI.Geometry.IsometricImmersion.Flows.ActualFlowHighEquation
OAI.Geometry.IsometricImmersion.Pulses.ActualQPulseForcing
OAI.Geometry.IsometricImmersion.Estimates.ActualRemainderFactors
OAI.Geometry.IsometricImmersion.Caps.CapOverlapCosts
OAI.Geometry.IsometricImmersion.Caps.CapReciprocalBounds
OAI.Geometry.IsometricImmersion.Caps.ConstructedCapGradient
OAI.Geometry.IsometricImmersion.Flows.FlowSobolev
OAI.Geometry.IsometricImmersion.Calculus.MixedCoordinateCalculus
OAI.Geometry.IsometricImmersion.Darboux.QHighEquation
OAI.Geometry.IsometricImmersion.Taylor.TaylorJetStability
OAI.Geometry.IsometricImmersion.Pulses.ActualQPulseForcingGlobal
OAI.Geometry.IsometricImmersion.Energy.ActualRemainderL2
OAI.Geometry.IsometricImmersion.Estimates.ActualRemainderRegularity
OAI.Geometry.IsometricImmersion.Caps.CapCutoffRectangle
OAI.Geometry.IsometricImmersion.Calculus.CoordinateJetReverseNorm
OAI.Geometry.IsometricImmersion.Flows.HeightFlowBoundTools
OAI.Geometry.IsometricImmersion.Darboux.MixedDarbouxElimination
OAI.Geometry.IsometricImmersion.Darboux.QResidualFactors
OAI.Geometry.IsometricImmersion.Comparison.ShearFirstJetComparison
OAI.Geometry.IsometricImmersion.Taylor.TaylorResidual
OAI.Geometry.IsometricImmersion.Estimates.ActualQWeightedRemainder
OAI.Geometry.IsometricImmersion.Taylor.FiniteTaylorComparison
OAI.Geometry.IsometricImmersion.Flows.HeightFlowUniformBounds
OAI.Geometry.IsometricImmersion.Caps.IntegratedCapOverlap
OAI.Geometry.IsometricImmersion.Pulses.QPulseFirstJetBudget
OAI.Geometry.IsometricImmersion.Darboux.QResidualL2
OAI.Geometry.IsometricImmersion.Metrics.RemainderCoefficientBounds
OAI.Geometry.IsometricImmersion.Calculus.ShearHeightJets
OAI.Geometry.IsometricImmersion.Taylor.TaylorQJetBounds
OAI.Geometry.IsometricImmersion.Estimates.ActualQMomentLower
OAI.Geometry.IsometricImmersion.Caps.CapInteriorEnergy
OAI.Geometry.IsometricImmersion.Metrics.FixedMetricRemainder
OAI.Geometry.IsometricImmersion.Darboux.HeightPrincipalBounds
OAI.Geometry.IsometricImmersion.Metrics.LocalMetricPCoefficients
OAI.Geometry.IsometricImmersion.Estimates.MixedRemainderFactors
OAI.Geometry.IsometricImmersion.Darboux.QEnergyApplication
OAI.Geometry.IsometricImmersion.Comparison.QMetricApproximationInputs
OAI.Geometry.IsometricImmersion.Darboux.QResidualActive
OAI.Geometry.IsometricImmersion.Calculus.ShearMetricJets
OAI.Geometry.IsometricImmersion.Taylor.TaylorCoefficientBounds
OAI.Geometry.IsometricImmersion.Immersions.BoundedHeightClasses
OAI.Geometry.IsometricImmersion.Comparison.FiniteApproximationJets
OAI.Geometry.IsometricImmersion.Caps.HeightCapLowData
OAI.Geometry.IsometricImmersion.Energy.LocalizedRemainderL2
OAI.Geometry.IsometricImmersion.Energy.MixedRemainderL2
OAI.Geometry.IsometricImmersion.Darboux.QContainingRectangle
OAI.Geometry.IsometricImmersion.Darboux.QFirstJetEnergy
OAI.Geometry.IsometricImmersion.Darboux.QMomentAbsorption
OAI.Geometry.IsometricImmersion.Darboux.QSpatialRestriction
OAI.Geometry.IsometricImmersion.Calculus.ShearMetricFullJets
OAI.Geometry.IsometricImmersion.Taylor.TaylorPolynomialJetBounds
OAI.Geometry.IsometricImmersion.Metrics.ActualLowMetricBudget
OAI.Geometry.IsometricImmersion.Estimates.ActualQMomentPositive
OAI.Geometry.IsometricImmersion.Comparison.BoundedClassApproximation
OAI.Geometry.IsometricImmersion.Estimates.BoundedClassHyperbolicity
OAI.Geometry.IsometricImmersion.Immersions.HeightNumericParameters
OAI.Geometry.IsometricImmersion.Energy.MixedDerivativeL2
OAI.Geometry.IsometricImmersion.Obstructions.PatchObstructionSet
OAI.Geometry.IsometricImmersion.Darboux.QInitialEnergy
OAI.Geometry.IsometricImmersion.Darboux.QPositiveFloor
OAI.Geometry.IsometricImmersion.Taylor.UniformTaylorPolynomial
OAI.Geometry.IsometricImmersion.Metrics.UniversalMetricQ
OAI.Geometry.IsometricImmersion.Comparison.ActualComparisonSource
OAI.Geometry.IsometricImmersion.Estimates.BoundedClassQFloor
OAI.Geometry.IsometricImmersion.Obstructions.BoundedClassTopology
OAI.Geometry.IsometricImmersion.Caps.CapL2Basics
OAI.Geometry.IsometricImmersion.Energy.FixedMetricMixedL2
OAI.Geometry.IsometricImmersion.Metrics.LocalMetricQFull
OAI.Geometry.IsometricImmersion.Metrics.MetricQSpatialBundle
OAI.Geometry.IsometricImmersion.Flows.UniformRichPatchFlow
OAI.Geometry.IsometricImmersion.Estimates.UniversalQRaw
OAI.Geometry.IsometricImmersion.Metrics.LocalMetricQActive
OAI.Geometry.IsometricImmersion.Metrics.MetricHorizontalRequests
OAI.Geometry.IsometricImmersion.Darboux.QMetricJetTransfer
OAI.Geometry.IsometricImmersion.Estimates.RemainderAreaBudget
OAI.Geometry.IsometricImmersion.Caps.UniformOriginalDataCapEstimate
OAI.Geometry.IsometricImmersion.Caps.C8ActualCapEstimate
OAI.Geometry.IsometricImmersion.Caps.NestedCapRectangles
OAI.Geometry.IsometricImmersion.Caps.PhysicalCapTransport
OAI.Geometry.IsometricImmersion.Darboux.QActualSegmentTransfer
OAI.Geometry.IsometricImmersion.Darboux.QFirstSpatialBounds
OAI.Geometry.IsometricImmersion.Caps.AllOrderCapEstimate
OAI.Geometry.IsometricImmersion.Caps.CapReflectionGeometry
OAI.Geometry.IsometricImmersion.Energy.LocalQResidualL2
OAI.Geometry.IsometricImmersion.Darboux.QStripJetControl
OAI.Geometry.IsometricImmersion.Taylor.UniformTaylorDenominator
OAI.Geometry.IsometricImmersion.Comparison.ActualComparisonEquation
OAI.Geometry.IsometricImmersion.Caps.AllOrderPhysicalCap
OAI.Geometry.IsometricImmersion.Caps.CapReflectionCalculus
OAI.Geometry.IsometricImmersion.Darboux.QSameStripMargins
OAI.Geometry.IsometricImmersion.Darboux.QSpatialSlabData
OAI.Geometry.IsometricImmersion.Taylor.TaylorCauchyData
OAI.Geometry.IsometricImmersion.Taylor.TaylorRemainderBound
OAI.Geometry.IsometricImmersion.Caps.CapInductionData
OAI.Geometry.IsometricImmersion.Comparison.ComparisonCoefficientSmooth
OAI.Geometry.IsometricImmersion.Caps.PulseReflection
OAI.Geometry.IsometricImmersion.Pulses.PulseTemporalMoment
OAI.Geometry.IsometricImmersion.Darboux.QClosedStripMargins
OAI.Geometry.IsometricImmersion.Darboux.QLowActualBounds
OAI.Geometry.IsometricImmersion.Pulses.QReferenceForcingMargins
OAI.Geometry.IsometricImmersion.Darboux.QReferenceInitialTolerance
OAI.Geometry.IsometricImmersion.Darboux.QSpatialInductionStep
OAI.Geometry.IsometricImmersion.Taylor.TaylorInitialStateBound
OAI.Geometry.IsometricImmersion.Taylor.TaylorInitialVelocity
OAI.Geometry.IsometricImmersion.Taylor.UniformTaylorStrip
OAI.Geometry.IsometricImmersion.Estimates.BoundedClassQLow
OAI.Geometry.IsometricImmersion.Caps.BoundedClassReflection
OAI.Geometry.IsometricImmersion.Comparison.ComparisonCoefficientDerivative
OAI.Geometry.IsometricImmersion.Caps.LowerCapInduction
OAI.Geometry.IsometricImmersion.Pulses.PulseOperatorMoment
OAI.Geometry.IsometricImmersion.Darboux.QSpatialFiniteInduction
OAI.Geometry.IsometricImmersion.Taylor.UniformTaylorPulse
OAI.Geometry.IsometricImmersion.Comparison.ActualComparisonTestCost
OAI.Geometry.IsometricImmersion.Caps.BoundedClassCapData
OAI.Geometry.IsometricImmersion.Comparison.ComparisonCoefficientBounds
OAI.Geometry.IsometricImmersion.Caps.FixedMetricLowerCap
OAI.Geometry.IsometricImmersion.Pulses.PulseScalarContradiction
OAI.Geometry.IsometricImmersion.Darboux.QSpatialPointwise
OAI.Geometry.IsometricImmersion.Caps.VaryingCapInduction
OAI.Geometry.IsometricImmersion.Comparison.ActualComparisonEnergy
OAI.Geometry.IsometricImmersion.Caps.FiniteCapInduction
OAI.Geometry.IsometricImmersion.Pulses.PulseFlowDistance
OAI.Geometry.IsometricImmersion.Darboux.QFiniteActual
OAI.Geometry.IsometricImmersion.Caps.UpperCapWords
OAI.Geometry.IsometricImmersion.Caps.VaryingMetricLowerCap
OAI.Geometry.IsometricImmersion.Coordinates.BoundedClassSlabSmallness
OAI.Geometry.IsometricImmersion.Caps.CauchyReflection
OAI.Geometry.IsometricImmersion.Caps.FiniteCapPointwise
OAI.Geometry.IsometricImmersion.Estimates.MovingSourceBounds
OAI.Geometry.IsometricImmersion.Caps.PulseCapSeparation
OAI.Geometry.IsometricImmersion.Caps.QPointwiseCauchyJets
OAI.Geometry.IsometricImmersion.Flows.VaryingMetricChosenFlow
OAI.Geometry.IsometricImmersion.Caps.ActualPulseCapSeparation
OAI.Geometry.IsometricImmersion.Caps.BoundedClassCapRadius
OAI.Geometry.IsometricImmersion.Comparison.ComparisonGradientSlice
OAI.Geometry.IsometricImmersion.Comparison.ComparisonSourceBounds
OAI.Geometry.IsometricImmersion.Flows.FiniteMetricChosenFlow
OAI.Geometry.IsometricImmersion.Pulses.ShearedPulseRegions
OAI.Geometry.IsometricImmersion.Caps.UpperCapMetricJets
OAI.Geometry.IsometricImmersion.Comparison.ActualComparisonGradient
OAI.Geometry.IsometricImmersion.Caps.ActualLowerCutImage
OAI.Geometry.IsometricImmersion.Coordinates.BoundedPatchSlabGeometry
OAI.Geometry.IsometricImmersion.Comparison.ComparisonEnergyScaling
OAI.Geometry.IsometricImmersion.Calculus.FiniteUpperMetricJets
OAI.Geometry.IsometricImmersion.Pulses.OffPulseMetricBounds
OAI.Geometry.IsometricImmersion.Caps.VaryingMetricUpperCap
OAI.Geometry.IsometricImmersion.Coordinates.ActualPatchQRectangle
OAI.Geometry.IsometricImmersion.Pulses.ActualTwoSidedPulseSeparation
OAI.Geometry.IsometricImmersion.Calculus.BoundedClassInitialJet
OAI.Geometry.IsometricImmersion.Comparison.ComparisonPulseGeometry
OAI.Geometry.IsometricImmersion.Pulses.PulseEdgeReferenceDistance
OAI.Geometry.IsometricImmersion.Caps.ReflectedActualCapFlow
OAI.Geometry.IsometricImmersion.Calculus.ShearedMetricFiniteJets
OAI.Geometry.IsometricImmersion.Coordinates.ActualCentralShearMargins
OAI.Geometry.IsometricImmersion.Caps.ActualFiniteCapMetricBounds
OAI.Geometry.IsometricImmersion.Metrics.ActualLowMetricFloor
OAI.Geometry.IsometricImmersion.Pulses.ActualPulseMetricCloseness
OAI.Geometry.IsometricImmersion.Estimates.ActualQCompactBounds
OAI.Geometry.IsometricImmersion.Caps.BoundedPatchCauchy
OAI.Geometry.IsometricImmersion.Comparison.QApproximationMargins
OAI.Geometry.IsometricImmersion.Pulses.ReferencePulseEdgeInitial
OAI.Geometry.IsometricImmersion.Caps.ActualFiniteLowerCutBounds
OAI.Geometry.IsometricImmersion.Metrics.ActualTestMetricPositive
OAI.Geometry.IsometricImmersion.Coordinates.ActualFiniteShearedCutBounds
OAI.Geometry.IsometricImmersion.Estimates.ActualQPointBounds
OAI.Geometry.IsometricImmersion.Caps.ActualOffPulseCauchy
OAI.Geometry.IsometricImmersion.Estimates.FixedRadiusCutBounds
OAI.Geometry.IsometricImmersion.Taylor.ActualUniformTaylorPulse
OAI.Geometry.IsometricImmersion.Caps.FixedRadiusOffPulseCauchy
OAI.Geometry.IsometricImmersion.Taylor.ActualTaylorFiniteJets
OAI.Geometry.IsometricImmersion.Taylor.ActualUniformTaylorRich
OAI.Geometry.IsometricImmersion.Caps.ActualUpperOffPulseCauchy
OAI.Geometry.IsometricImmersion.Caps.ActualClassTwoSidedCauchy
OAI.Geometry.IsometricImmersion.Coordinates.ActualReferenceSegment
OAI.Geometry.IsometricImmersion.Taylor.TaylorUpperCauchyBounds
OAI.Geometry.IsometricImmersion.Comparison.ActualClassComparisonGradient
OAI.Geometry.IsometricImmersion.Comparison.ActualComparisonCoefficientData
OAI.Geometry.IsometricImmersion.Estimates.ActualQApplicability
OAI.Geometry.IsometricImmersion.Comparison.ComparisonUpperVelocity
OAI.Geometry.IsometricImmersion.Comparison.ActualClassComparisonSourceBound
OAI.Geometry.IsometricImmersion.Pulses.ActualClassQForcingMoment
OAI.Geometry.IsometricImmersion.Comparison.ActualUniformComparisonGradient
OAI.Geometry.IsometricImmersion.Comparison.ActualClassComparisonMoment
OAI.Geometry.IsometricImmersion.Comparison.OriginalClassComparisonWithLow
OAI.Geometry.IsometricImmersion.Pulses.OriginalPulseExclusion
OAI.Geometry.IsometricImmersion.Obstructions.BoundedClassNowhereDense
OAI.Geometry.IsometricImmersion.Obstructions.PatchResidualTheorem
OAI.Geometry.IsometricImmersion.Obstructions.SmallPatchObstruction
OAI.Geometry.IsometricImmersion.Assembly.SelectedPatchObstructions
OAI.Geometry.IsometricImmersion.Assembly.FinalMetric
OAI.Geometry.IsometricImmersion.CoordinateMain
OAI.Geometry.IsometricImmersion.Main

Imported by 1 file

OAI.lean