OAI/Geometry/Cannon/Conformal/
521 declarations, 0 contain sorry, 0 declared as axioms; 32 files
Files
- AffineRegion.lean 3 declarations
- AnalyticFixInftyAffine.lean 3 declarations
- BoundaryFiniteSphereRealizations.lean 1 declarations
- BoundaryUniformQuasiMobius.lean 2 declarations
- BoundedCrossRatios.lean 16 declarations
- Center.lean 64 declarations
- Chart.lean 13 declarations
- ClosureCoeBall.lean 2 declarations
- CutoffBump.lean 29 declarations
- Distinct.lean 20 declarations
- FiniteB.lean 72 declarations
- FinitePackingVertex.lean 1 declarations
- GeometricConformalAction.lean 2 declarations
- ImageArea.lean 17 declarations
- LinearZ.lean 18 declarations
- MarkedChart.lean 7 declarations
- NormalizePackingCenters.lean 1 declarations
- Normalizer.lean 20 declarations
- OpenMapMaxSphere.lean 29 declarations
- PlaneWeakQSBounded.lean 2 declarations
- PreservesProducts.lean 30 declarations
- QuasiMobius.lean 2 declarations
- RestrictedSphereAction.lean 8 declarations
- Round.lean 10 declarations
- Sphere.lean 48 declarations
- SphereMeasure.lean 54 declarations
- SpherePathConnected.lean 3 declarations
- SpherePuncturedChart.lean 1 declarations
- SphereTile.lean 36 declarations
- SphereTwo.lean 4 declarations
- WeakQSInverseShrink.lean 1 declarations
- WeakQSPartialsLocally.lean 2 declarations