OAI/Geometry/NodalSets/SmoothLimit/
23 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- FiniteJetSummableTailLemmas.lean 2 declarations
- IterationGeometricTails.lean 3 declarations
- RealFiniteBallSmoothLimit.lean 2 declarations
- SphereCoefficientSummablePositiveLimit.lean 2 declarations
- SphereFiniteWeakJetIteration.lean 1 declarations
- SphereIterationInterface.lean 4 declarations
- SphereIterationPositiveLimit.lean 1 declarations
- SphereIterationSummability.lean 1 declarations
- SpherePersistentLimitMain.lean 1 declarations
- SphereSummableChartLimit.lean 2 declarations
- SphereSummableIterationSequence.lean 1 declarations
- SphereSummableSmoothPair.lean 2 declarations
- UniformSummableIncrements.lean 1 declarations