OAI/Analysis/StrictMeans/
1135 declarations, 0 contain sorry, 0 declared as axioms; 94 files
Files
- AffineAveraging.lean 30 declarations
- AreaCoefficients.lean 37 declarations
- AreaTails.lean 39 declarations
- AreaTransport.lean 15 declarations
- BorelRanks.lean 4 declarations
- BoundaryCells.lean 22 declarations
- BoundaryEscape.lean 16 declarations
- BoxExtension.lean 6 declarations
- BoxSlope.lean 2 declarations
- BoxTransport.lean 5 declarations
- CanonicalIndex.lean 8 declarations
- CircleBounds.lean 43 declarations
- CompactFamily.lean 24 declarations
- CompactIndexSum.lean 1 declarations
- CompactMorseEuler.lean 1 declarations
- CompactMorseIndex.lean 1 declarations
- CriticalCounts.lean 3 declarations
- CriticalCovariance.lean 13 declarations
- CriticalPotential.lean 15 declarations
- CriticalRanks.lean 14 declarations
- DerivativeDistortion.lean 7 declarations
- DescendingRanks.lean 7 declarations
- DiagonalIndex.lean 8 declarations
- DiscreteLaplacian.lean 6 declarations
- DiskAutomorphisms.lean 18 declarations
- DyadicBounds.lean 21 declarations
- DyadicGap.lean 1 declarations
- Eigenmeasure.lean 10 declarations
- Endpoints.lean 4 declarations
- EqualityBarrier.lean 8 declarations
- FamilyDerivatives.lean 5 declarations
- FiberSum.lean 6 declarations
- FiniteEuler.lean 1 declarations
- GenericTargets.lean 12 declarations
- GreenIdentity.lean 27 declarations
- GridChains.lean 14 declarations
- GridComplex.lean 12 declarations
- GridEuler.lean 6 declarations
- GridLinear.lean 17 declarations
- GridLink.lean 8 declarations
- GridSupport.lean 19 declarations
- HalfPlane.lean 42 declarations
- HeightIndex.lean 8 declarations
- HessianLocal.lean 16 declarations
- HorizontalAveraging.lean 41 declarations
- HorizontalLength.lean 17 declarations
- ImageBounds.lean 8 declarations
- IndexConservation.lean 8 declarations
- IndexEuler.lean 17 declarations
- IndexGeometry.lean 20 declarations
- IndexHomotopy.lean 5 declarations
- IndexLocality.lean 9 declarations
- InfinityEscape.lean 19 declarations
- JacobianMoments.lean 19 declarations
- LatticeEuler.lean 12 declarations
- LatticeGeometry.lean 15 declarations
- LatticeIndex.lean 16 declarations
- LawDensity.lean 9 declarations
- Main.lean 1 declarations
- MeasurableGeometry.lean 21 declarations
- Model.lean 7 declarations
- MorseGeometry.lean 8 declarations
- NormalizedTargets.lean 7 declarations
- PairingCovariance.lean 12 declarations
- PairingCoverage.lean 2 declarations
- PlaneRectangle.lean 7 declarations
- PositiveFunctionals.lean 9 declarations
- QuadraticHomotopy.lean 8 declarations
- QuadraticIndex.lean 4 declarations
- QuadraticLine.lean 3 declarations
- RankCovariance.lean 5 declarations
- RankPairing.lean 12 declarations
- Rebasing.lean 27 declarations
- ReciprocalMoments.lean 34 declarations
- RectangleLog.lean 4 declarations
- RegularLevels.lean 4 declarations
- RegularTargets.lean 9 declarations
- RootTransform.lean 8 declarations
- SmoothGridRegular.lean 5 declarations
- SmoothIndexHomotopy.lean 5 declarations
- SmoothMorseIndex.lean 4 declarations
- SmoothSublevelEuler.lean 5 declarations
- SpectralGrowth.lean 8 declarations
- Spectrum.lean 3 declarations
- SquaredPotential.lean 12 declarations
- StrictTransport.lean 6 declarations
- TransferOperator.lean 31 declarations
- TransportBasic.lean 9 declarations
- TransportInjection.lean 2 declarations
- TransportLimit.lean 5 declarations
- TransportPairing.lean 17 declarations
- TransportTest.lean 7 declarations
- TriangularIndex.lean 17 declarations
- UniformMeans.lean 10 declarations