OAI/Analysis/CircleDomains/Reflection/
302 declarations, 0 contain sorry, 0 declared as axioms; 97 files
Files
- ActualPhaseReflection.lean 6 declarations
- AnalyticCircularization.lean 3 declarations
- AnalyticConfigurationCollar.lean 1 declarations
- AnalyticCoreIteration.lean 2 declarations
- AnalyticJordanBoundaryContinuation.lean 3 declarations
- AnalyticJordanBoundaryInjection.lean 1 declarations
- AnalyticJordanCap.lean 6 declarations
- AnalyticJordanClosedExterior.lean 1 declarations
- AnalyticJordanParametrization.lean 2 declarations
- AnalyticJordanPhysicalContinuation.lean 2 declarations
- AnalyticReflectionData.lean 5 declarations
- AnalyticRoundCapImages.lean 1 declarations
- AnalyticSphereClosedExterior.lean 1 declarations
- AnalyticStraighteningHolomorphic.lean 2 declarations
- AnalyticStraighteningResidual.lean 2 declarations
- AnnularCircleReflection.lean 3 declarations
- AnnularReflectionInjection.lean 3 declarations
- CayleyBoundaryOrder.lean 9 declarations
- CayleyHolomorphic.lean 6 declarations
- CayleySides.lean 3 declarations
- CircleBoundaryContinuation.lean 1 declarations
- CircleSchwarzReflection.lean 1 declarations
- CircularizationClosedExterior.lean 4 declarations
- ClosedExteriorBoundaryValues.lean 1 declarations
- ClosedExteriorCorrespondence.lean 2 declarations
- ClosedExteriorExtension.lean 2 declarations
- CompactDiffeomorphismBeltrami.lean 5 declarations
- CompactReflectionCoefficient.lean 1 declarations
- ConformalBoundaryChart.lean 2 declarations
- ConformalChartTransport.lean 1 declarations
- FiniteAnalyticBeltrami.lean 1 declarations
- FinitePhaseSides.lean 4 declarations
- HolomorphicAcrossRealAxis.lean 6 declarations
- HolomorphicBoundaryInjectivity.lean 3 declarations
- HolomorphicCircleBessel.lean 2 declarations
- HolomorphicCircleCoefficients.lean 4 declarations
- HolomorphicCircleGluing.lean 2 declarations
- InjectiveAnalyticCircularization.lean 2 declarations
- InjectiveCircleReflection.lean 1 declarations
- InjectiveCircleReflectionSides.lean 1 declarations
- InjectiveConformalBoundaryChart.lean 4 declarations
- InjectiveModulusContinuation.lean 2 declarations
- LocalBoundaryExtension.lean 3 declarations
- LocalModulusContinuation.lean 1 declarations
- ModulusBoundaryContinuation.lean 1 declarations
- MovingCircleReflection.lean 5 declarations
- MovingCircleReflectionInjection.lean 1 declarations
- MovingCircleReflectionLimit.lean 2 declarations
- MovingCircleReflectionSides.lean 1 declarations
- PrincipalBeltramiResidual.lean 1 declarations
- PrincipalComplexBeltrami.lean 3 declarations
- PrincipalComplexCoefficientData.lean 1 declarations
- PrincipalComplexPhysical.lean 2 declarations
- PrincipalReflectionDefect.lean 6 declarations
- PrincipalReflectionSourceError.lean 3 declarations
- PrincipalReflectionTargetError.lean 2 declarations
- ReflectedApproximationLimit.lean 4 declarations
- ReflectedCircleImages.lean 2 declarations
- ReflectedFractionalLinear.lean 3 declarations
- ReflectedLimitHolomorphic.lean 1 declarations
- ReflectedSphereNormalization.lean 12 declarations
- ReflectionCoefficientExtension.lean 1 declarations
- ReflectionCoefficientWords.lean 4 declarations
- ReflectionPrincipalSolution.lean 3 declarations
- ReflectionTileAction.lean 6 declarations
- ReflectionTiles.lean 6 declarations
- ReflectionWeightedL2.lean 5 declarations
- RegularJordanBoundaryChart.lean 1 declarations
- RegularPhaseSides.lean 5 declarations
- RoundDiskReflection.lean 7 declarations
- RoundExteriorBoundaryChart.lean 12 declarations
- RoundExteriorBoundaryInjectivity.lean 2 declarations
- RoundExteriorChartSides.lean 3 declarations
- RoundExteriorPoint.lean 1 declarations
- RoundReflectionCoefficient.lean 6 declarations
- RoundReflectionDifferential.lean 7 declarations
- RoundReflectionMeasure.lean 2 declarations
- SchwarzReflection.lean 5 declarations
- SchwarzReflectionInjective.lean 3 declarations
- SchwarzReflectionInteriorInjectivity.lean 3 declarations
- SemidiskBarrier.lean 8 declarations
- SemidiskBoundaryEstimate.lean 2 declarations
- SemidiskContinuousExtension.lean 2 declarations
- SemidiskDerivative.lean 2 declarations
- SemidiskLogarithm.lean 1 declarations
- SemidiskModulusExtension.lean 3 declarations
- SmoothBeltramiCancellation.lean 2 declarations
- SmoothBeltramiDistortion.lean 2 declarations
- SmoothReflectedApproximation.lean 3 declarations
- SmoothReflectionConjugacy.lean 3 declarations
- SphereClosedExteriorCoordinates.lean 3 declarations
- SphereClosedExteriorHomeomorph.lean 1 declarations
- SphereClosedExteriorInjection.lean 1 declarations
- UnitAnalyticJordanParametrization.lean 2 declarations
- UnitCircleIdentityGerm.lean 1 declarations
- UnitCircleReflection.lean 8 declarations
- UpperSemidisk.lean 8 declarations