OAI/Analysis/CircleDomains/Uniformization/
363 declarations, 0 contain sorry, 0 declared as axioms; 120 files
Files
- ActualInverseConvergence.lean 1 declarations
- ActualPhaseCollar.lean 2 declarations
- ActualScalarJumpLimit.lean 2 declarations
- ActualVerticalJumpLimit.lean 2 declarations
- AnalyticCapRounding.lean 1 declarations
- AnalyticCapShrink.lean 1 declarations
- AnalyticFiniteUniformization.lean 1 declarations
- AssignedParameterLimits.lean 1 declarations
- BandLimits.lean 2 declarations
- CircuitUniformError.lean 2 declarations
- CircularizationBoundaryImages.lean 2 declarations
- CircularizationPhaseLimit.lean 6 declarations
- CircularizationSelectedDisks.lean 6 declarations
- CircularizationShift.lean 8 declarations
- ComplexRectangleLimit.lean 5 declarations
- ComplexRectangleLocalLimit.lean 4 declarations
- Conformal.lean 9 declarations
- ConformalComposition.lean 14 declarations
- ConformalEqOn.lean 2 declarations
- ConformalFiniteEmbedding.lean 2 declarations
- ConformalInverse.lean 3 declarations
- ConformalJordanCapImage.lean 1 declarations
- ConformalLocalInverse.lean 4 declarations
- ConformalMetric.lean 5 declarations
- ConstructedFiniteModels.lean 1 declarations
- CyclicCircularization.lean 5 declarations
- EventualSelectedSeparation.lean 2 declarations
- ExteriorAnnulusCoefficients.lean 2 declarations
- ExteriorCoefficientBounds.lean 4 declarations
- ExteriorDiskNormalization.lean 5 declarations
- FiniteCoefficientRadial.lean 4 declarations
- FiniteCompletion.lean 21 declarations
- FiniteCompletionUniformization.lean 9 declarations
- FiniteCoreCorrespondence.lean 2 declarations
- FiniteJordanImageUniformization.lean 4 declarations
- FiniteLiftConformal.lean 1 declarations
- FiniteLimitBlock.lean 1 declarations
- FiniteModelCoordinates.lean 3 declarations
- FiniteModelEnds.lean 3 declarations
- FiniteModelTerminalEstimates.lean 1 declarations
- FiniteUniformization.lean 6 declarations
- FirstExitFragmentLimits.lean 1 declarations
- GeometricUniformLimit.lean 2 declarations
- HeightTestLimit.lean 1 declarations
- HeightVanishingConvergence.lean 1 declarations
- HurwitzUnivalentProof.lean 1 declarations
- HurwitzZeroFreeProof.lean 2 declarations
- InjectivePhaseLimit.lean 3 declarations
- JointPhaseLimit.lean 1 declarations
- JordanCircularizationCompactness.lean 3 declarations
- JordanCircularizationSequence.lean 17 declarations
- JordanCircularizationStep.lean 2 declarations
- JordanConfigurationExterior.lean 5 declarations
- JordanExteriorDiskChart.lean 5 declarations
- JordanExteriorDiskMap.lean 1 declarations
- LabelledCoreCorrespondence.lean 2 declarations
- LabelledCoreIteration.lean 4 declarations
- LimitConformality.lean 6 declarations
- LimitHeightBounds.lean 3 declarations
- LimitHeightEquicontinuity.lean 2 declarations
- LocalInverseConvergence.lean 1 declarations
- LocalizedRealLimit.lean 1 declarations
- MarkedJointPhaseLimit.lean 1 declarations
- MetricBeltramiCoefficient.lean 8 declarations
- MetricBeltramiLinear.lean 1 declarations
- MetricBeltramiReconstruction.lean 1 declarations
- MetricConformality.lean 6 declarations
- MetricUniformization.lean 2 declarations
- MetricUniformizationModels.lean 1 declarations
- MixedAssignedLimit.lean 2 declarations
- MixedLimitRealProjection.lean 5 declarations
- MixedStokesLimit.lean 1 declarations
- MobiusConformal.lean 14 declarations
- ModelUniformBounds.lean 1 declarations
- MontelAscoli.lean 1 declarations
- MontelEquicontinuity.lean 1 declarations
- MontelProof.lean 1 declarations
- NondegeneratePhaseSubsequence.lean 1 declarations
- OmittedLimits.lean 7 declarations
- PrincipalCoefficientConvergence.lean 2 declarations
- PrincipalCoefficientLimit.lean 6 declarations
- PrincipalComposition.lean 2 declarations
- PrincipalFiniteModel.lean 3 declarations
- PrincipalJordanCircleMap.lean 1 declarations
- PrincipalTaylorCoefficients.lean 4 declarations
- RealFiniteModel.lean 1 declarations
- RecursiveLimitDust.lean 2 declarations
- RecursiveLimitIdentity.lean 1 declarations
- RiemannDiskExtremal.lean 1 declarations
- RiemannDiskImprovement.lean 3 declarations
- RiemannDiskInverse.lean 1 declarations
- RiemannDiskMap.lean 1 declarations
- RiemannDiskSeed.lean 3 declarations
- RiemannRootCompetitor.lean 1 declarations
- ScalarDistributionalLimit.lean 2 declarations
- ScalarLimitWitness.lean 2 declarations
- ScalarModelCoefficients.lean 6 declarations
- ScalarModelInverseConvergence.lean 3 declarations
- ScalarModelSequenceLimit.lean 1 declarations
- ScalarPointwiseLimit.lean 2 declarations
- SelectedHoleSeparation.lean 2 declarations
- SelectedMixedLimit.lean 1 declarations
- SelectedPhaseBoundary.lean 3 declarations
- SelectedRealLimit.lean 1 declarations
- SelectedUniformization.lean 1 declarations
- ShrinkingJumpLimits.lean 1 declarations
- SmoothMetricCoefficient.lean 1 declarations
- SmoothMetricPlaneModel.lean 2 declarations
- SmoothMetricUniformization.lean 4 declarations
- SmoothMetricUniformizationProof.lean 2 declarations
- SphereRoundPhaseComponent.lean 2 declarations
- SquareAverageLimit.lean 2 declarations
- TrackedTestLimits.lean 3 declarations
- TwoEndedFragmentLimits.lean 2 declarations
- UniformGraphCover.lean 1 declarations
- UniformGraphHausdorff.lean 1 declarations
- UniformHeightCloseness.lean 1 declarations
- UniformLimitFibers.lean 3 declarations
- UniformSelectedAnnulus.lean 3 declarations
- UniformTransverseDisplacement.lean 1 declarations