OAI/Analysis/IntegralMeans/
1043 declarations, 0 contain sorry, 0 declared as axioms; 47 files
Files
- AffineArea.lean 3 declarations
- AffineLaw.lean 51 declarations
- AreaTransport.lean 17 declarations
- BorelPairing.lean 45 declarations
- BoundaryEscape.lean 27 declarations
- BoundaryTail.lean 24 declarations
- CircleBounds.lean 48 declarations
- CompactClass.lean 16 declarations
- CriticalCount.lean 21 declarations
- CriticalMap.lean 46 declarations
- CriticalPoint.lean 19 declarations
- Degree.lean 42 declarations
- Distortion.lean 54 declarations
- DomainArea.lean 10 declarations
- Eigenmeasure.lean 28 declarations
- ExpectedDensity.lean 10 declarations
- ExpectedTransport.lean 29 declarations
- GoodPairs.lean 14 declarations
- HalfPlane.lean 62 declarations
- InverseDensity.lean 33 declarations
- InverseMoment.lean 2 declarations
- Koebe.lean 7 declarations
- KoebeCone.lean 5 declarations
- KoebeDivergence.lean 2 declarations
- KoebePolar.lean 6 declarations
- KoebeReduction.lean 8 declarations
- LevelCurve.lean 27 declarations
- LevelIndex.lean 18 declarations
- LogIncrement.lean 50 declarations
- Main.lean 1 declarations
- Model.lean 8 declarations
- Moments.lean 39 declarations
- NegativeArea.lean 14 declarations
- PositiveArea.lean 6 declarations
- RankPairing.lean 56 declarations
- SectorDivergence.lean 2 declarations
- SharpEndpoints.lean 3 declarations
- SharpModel.lean 4 declarations
- SmoothMeans.lean 27 declarations
- Spectrum.lean 7 declarations
- TraceBounds.lean 6 declarations
- TraceIdentity.lean 28 declarations
- TransferOperator.lean 35 declarations
- TransportBoxes.lean 19 declarations
- Turning.lean 36 declarations
- UnivalentArea.lean 6 declarations
- Winding.lean 22 declarations