OAI/Geometry/SmoothYau/Main.lean
0 declarations, 0 contain sorry, 0 declared as axioms
This file declares nothing itself. It gathers the 101 imports below, so a file that imports it gets all of them.
Imports
- OAI.Geometry.SmoothYau.DifferentialEq.TransferAcross
- OAI.Geometry.SmoothYau.Estimates.CoefficientPerturbationTendsto
- OAI.Geometry.SmoothYau.Estimates.ComplexMul
- OAI.Geometry.SmoothYau.Estimates.CorrugationFirstErrorBound
- OAI.Geometry.SmoothYau.Estimates.CoupledPowerCoefficientsNonzero
- OAI.Geometry.SmoothYau.Estimates.EventualProductScalarCorrectionRate
- OAI.Geometry.SmoothYau.Estimates.EventuallyQuantitativeConformalExactification
- OAI.Geometry.SmoothYau.Estimates.ParamComp
- OAI.Geometry.SmoothYau.Estimates.PolynomialWaveUniformResidualBound
- OAI.Geometry.SmoothYau.Estimates.RadialPrimitiveSquaredIdentity
- OAI.Geometry.SmoothYau.Estimates.UniformPhysicalWavesEndpointRatios
- OAI.Geometry.SmoothYau.Estimates.VaryingLaplacianMemRealH
- OAI.Geometry.SmoothYau.Estimates.VaryingPatchCoefficients
- OAI.Geometry.SmoothYau.Geometry.ExistsFiniteChartPartition
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1008
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1017
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1026
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1035
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1049
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1057
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1066
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1075
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1083
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1092
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1106
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1114
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1125
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1133
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1142
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1188
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1197
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1206
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1217
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1228
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1236
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1245
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1318
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1327
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1335
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1371
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1380
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1389
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1398
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1412
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1420
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1429
- OAI.Geometry.SmoothYau.Geometry.TangentDimension1436
- OAI.Geometry.SmoothYau.Geometry.TangentDimension502
- OAI.Geometry.SmoothYau.Geometry.TangentDimension511
- OAI.Geometry.SmoothYau.Geometry.TangentDimension526
- OAI.Geometry.SmoothYau.Geometry.TangentDimension545
- OAI.Geometry.SmoothYau.Geometry.TangentDimension553
- OAI.Geometry.SmoothYau.Geometry.TangentDimension565
- OAI.Geometry.SmoothYau.Geometry.TangentDimension574
- OAI.Geometry.SmoothYau.Geometry.TangentDimension585
- OAI.Geometry.SmoothYau.Geometry.TangentDimension596
- OAI.Geometry.SmoothYau.Geometry.TangentDimension604
- OAI.Geometry.SmoothYau.Geometry.TangentDimension616
- OAI.Geometry.SmoothYau.Geometry.TangentDimension626
- OAI.Geometry.SmoothYau.Geometry.TangentDimension694
- OAI.Geometry.SmoothYau.Geometry.TangentDimension703
- OAI.Geometry.SmoothYau.Geometry.TangentDimension711
- OAI.Geometry.SmoothYau.Geometry.TangentDimension720
- OAI.Geometry.SmoothYau.Geometry.TangentDimension734
- OAI.Geometry.SmoothYau.Geometry.TangentDimension742
- OAI.Geometry.SmoothYau.Geometry.TangentDimension751
- OAI.Geometry.SmoothYau.Geometry.TangentDimension759
- OAI.Geometry.SmoothYau.Geometry.TangentDimension767
- OAI.Geometry.SmoothYau.Geometry.TangentDimension776
- OAI.Geometry.SmoothYau.Geometry.TangentDimension787
- OAI.Geometry.SmoothYau.Geometry.TangentDimension798
- OAI.Geometry.SmoothYau.Geometry.TangentDimension806
- OAI.Geometry.SmoothYau.Geometry.TangentDimension817
- OAI.Geometry.SmoothYau.Geometry.TangentDimension826
- OAI.Geometry.SmoothYau.Geometry.TangentDimension855
- OAI.Geometry.SmoothYau.Geometry.TangentDimension864
- OAI.Geometry.SmoothYau.Geometry.TangentDimension873
- OAI.Geometry.SmoothYau.Geometry.TangentDimension881
- OAI.Geometry.SmoothYau.Geometry.TangentDimension895
- OAI.Geometry.SmoothYau.Geometry.TangentDimension903
- OAI.Geometry.SmoothYau.Geometry.TangentDimension912
- OAI.Geometry.SmoothYau.Geometry.TangentDimension921
- OAI.Geometry.SmoothYau.Geometry.TangentDimension929
- OAI.Geometry.SmoothYau.Geometry.TangentDimension938
- OAI.Geometry.SmoothYau.Geometry.TangentDimension952
- OAI.Geometry.SmoothYau.Geometry.TangentDimension960
- OAI.Geometry.SmoothYau.Geometry.TangentDimension971
- OAI.Geometry.SmoothYau.Geometry.TangentDimension979
- OAI.Geometry.SmoothYau.Geometry.TangentDimension988
- OAI.Geometry.SmoothYau.Limits.ChartExtDualNorm
- OAI.Geometry.SmoothYau.Limits.CubicConstantNonneg
- OAI.Geometry.SmoothYau.ProductMetric.SphereProduct
- OAI.Geometry.SmoothYau.Smoothness.EventuallyPositiveFactorEventualJets
- OAI.Geometry.SmoothYau.Smoothness.FiniteTaylorFunctionThree
- OAI.Geometry.SmoothYau.Smoothness.Mono
- OAI.Geometry.SmoothYau.Smoothness.RepresentedWeightedQuinticSmooth
- OAI.Geometry.SmoothYau.Smoothness.SmoothMul
- OAI.Geometry.SmoothYau.Spectrum.CompactPerturbedEigenvectors
- OAI.Geometry.SmoothYau.Spectrum.PatchOutput
- OAI.Geometry.SmoothYau.Spectrum.SpectralResolvent
- OAI.Geometry.SmoothYau.SphereMetric.ThreeSphere