OAI/Analysis/CircleDomains/Topology/

Files

• ActualFiniteDiskSlice.lean 1 declarations
• AffineBoundaryTolls.lean 7 declarations
• AffineClippedIntervals.lean 4 declarations
• AffineIntervalImages.lean 3 declarations
• AffinePathTime.lean 13 declarations
• AllowedCollarConcatenation.lean 2 declarations
• AllowedPathRestriction.lean 1 declarations
• AllowedPathReversal.lean 1 declarations
• AllowedSmallCollarArcs.lean 1 declarations
• AlternatingBoundaryCoordinates.lean 3 declarations
• AnalyticBoundaryGerms.lean 1 declarations
• AnalyticCircleImage.lean 1 declarations
• AnchoredCollarFamily.lean 1 declarations
• AnchoredCurveImages.lean 1 declarations
• AnchoredJordanLimits.lean 1 declarations
• AnchoredMeanCollars.lean 1 declarations
• AnnularCutoffs.lean 5 declarations
• ApproximateCurveDistances.lean 2 declarations
• AssignedCollarExclusion.lean 5 declarations
• BallPairKernel.lean 5 declarations
• BasePathCodes.lean 9 declarations
• BoundaryArcComplement.lean 2 declarations
• BoundaryBumping.lean 2 declarations
• BoundaryClosingArc.lean 8 declarations
• BoundaryCollarLift.lean 3 declarations
• BoundaryGlobalInjectivity.lean 1 declarations
• BoundaryGridAvoidance.lean 4 declarations
• BoundaryIndexMean.lean 9 declarations
• BoundaryIndexPairing.lean 4 declarations
• BoundaryLiftOrder.lean 4 declarations
• BoundaryOrderExtension.lean 1 declarations
• BoundaryPairNeighborhood.lean 9 declarations
• BoundaryPeriodLowerBound.lean 1 declarations
• BoundaryStieltjes.lean 5 declarations
• BoundedAnalyticCollar.lean 1 declarations
• BoundedCompactCutoff.lean 2 declarations
• BoundedJordanExtension.lean 5 declarations
• BoundedRoundDisks.lean 5 declarations
• BoundedSphereHomotopy.lean 3 declarations
• CellularJordanNeighborhood.lean 2 declarations
• CenteredBoundary.lean 7 declarations
• CenteredJordanCoordinate.lean 9 declarations
• CenteredSmallCutoffs.lean 4 declarations
• CircleAlmostEverywhere.lean 2 declarations
• CircleArgumentOrder.lean 4 declarations
• CircleBoundaryPersistence.lean 2 declarations
• CircleChainRule.lean 4 declarations
• CircleComponentCoordinates.lean 3 declarations
• CircleCovectors.lean 4 declarations
• CircleCutoffFillings.lean 2 declarations
• CircleFillings.lean 3 declarations
• CircleFiniteTransfer.lean 1 declarations
• CircleFixedEquation.lean 2 declarations
• CircleFormBoundary.lean 5 declarations
• CircleIncrementContinuity.lean 3 declarations
• CircleIntervalTraversal.lean 5 declarations
• CircleLiftTransitions.lean 4 declarations
• CircleLifts.lean 9 declarations
• CircleMobiusImage.lean 6 declarations
• CirclePartitionBands.lean 4 declarations
• CirclePartitionError.lean 2 declarations
• CirclePatching.lean 4 declarations
• CirclePathPrefixes.lean 4 declarations
• CircleProjectionEndpoints.lean 4 declarations
• CircleQuantileArcs.lean 11 declarations
• CircleRealCharts.lean 2 declarations
• CircleTerminalBranches.lean 3 declarations
• ClippedPaths.lean 8 declarations
• ClopenNeighborhood.lean 2 declarations
• ClosedComponentCorrespondence.lean 8 declarations
• ClosedDiskCutSides.lean 5 declarations
• ClosedGapAvoidance.lean 2 declarations
• ClosedHitSplit.lean 2 declarations
• ClosedJordanCore.lean 6 declarations
• ClosedMapDescent.lean 1 declarations
• ClosedMapSecondCountable.lean 1 declarations
• ClosedRelationIntermediateValue.lean 1 declarations
• ClosedRelationNeighborhood.lean 2 declarations
• ClosedRelationQuotient.lean 3 declarations
• ClosedSetPathLimit.lean 1 declarations
• ClosedTimeCounts.lean 7 declarations
• CollarDustAvoidance.lean 2 declarations
• CollarEndpointSubsequence.lean 1 declarations
• CollarExtension.lean 2 declarations
• CollarFragmentSelection.lean 4 declarations
• CollarMeanLowerBound.lean 1 declarations
• CollarScalarControl.lean 4 declarations
• CollarSplicingFromFragments.lean 1 declarations
• CompactArcBoundary.lean 2 declarations
• CompactArcGeometry.lean 2 declarations
• CompactArcIntersections.lean 2 declarations
• CompactArcReduction.lean 1 declarations
• CompactArcStarts.lean 4 declarations
• CompactArcWinding.lean 2 declarations
• CompactBandCrossing.lean 2 declarations
• CompactBandNeighborhood.lean 2 declarations
• CompactChartConjugation.lean 10 declarations
• CompactClopenPartition.lean 1 declarations
• CompactClopenRefinement.lean 1 declarations
• CompactComponentContours.lean 2 declarations
• CompactComponentPiece.lean 1 declarations
• CompactCoordinateTest.lean 1 declarations
• CompactCoreRetention.lean 1 declarations
• CompactDiskRayBounds.lean 3 declarations
• CompactExitPenalty.lean 1 declarations
• CompactHeightPullback.lean 2 declarations
• CompactImageRetention.lean 1 declarations
• CompactLevelCount.lean 2 declarations
• CompactLevelTangent.lean 4 declarations
• CompactLineJump.lean 1 declarations
• CompactLocalPathConnectivity.lean 3 declarations
• CompactLocalPaths.lean 1 declarations
• CompactLoopPathFamily.lean 6 declarations
• CompactMapContainment.lean 1 declarations
• CompactObstaclePartition.lean 1 declarations
• CompactPairChainRule.lean 1 declarations
• CompactPairCutoff.lean 1 declarations
• CompactPathApproximationStep.lean 2 declarations
• CompactPlanarCurl.lean 2 declarations
• CompactPositiveFunctional.lean 2 declarations
• CompactPriorityTest.lean 2 declarations
• CompactReductionIntersections.lean 2 declarations
• CompactRegularLevelContours.lean 1 declarations
• CompactRelationCoordinateTest.lean 2 declarations
• CompactScalarCircleModel.lean 1 declarations
• CompactScalarCircleModelData.lean 1 declarations
• CompactScalarContinuation.lean 4 declarations
• CompactScalarModel.lean 5 declarations
• CompactScalarModelFromCircle.lean 4 declarations
• CompactSourceCutoff.lean 4 declarations
• CompactTransverseField.lean 4 declarations
• CompactValueFlattening.lean 1 declarations
• CompactVectorFieldFlow.lean 1 declarations
• CompactifiedDiskRay.lean 7 declarations
• CompatibleFillingDisks.lean 9 declarations
• ComponentControl.lean 5 declarations
• ComponentLocalization.lean 4 declarations
• ComponentQuotientModel.lean 12 declarations
• ComponentQuotientNoCutPoint.lean 3 declarations
• ComponentRelationSelection.lean 10 declarations
• ComponentShrinkingSequence.lean 1 declarations
• ComponentSphereRealization.lean 1 declarations
• ComponentTopology.lean 4 declarations
• ComponentwiseJordanCover.lean 1 declarations
• ConcentratedCutoffs.lean 1 declarations
• ConformalBoundaryApproach.lean 4 declarations
• ConformalSphericalMetric.lean 2 declarations
• ConnectedCollars.lean 3 declarations
• ConnectedCoreExhaustion.lean 2 declarations
• ConnectedCoreNeighborhood.lean 3 declarations
• ConnectedDiskIntersection.lean 2 declarations
• ConnectedExteriorNeighborhood.lean 2 declarations
• ConnectedIndexedNeighborhood.lean 2 declarations
• ConnectedSetPolygonalApproximation.lean 2 declarations
• ConstantPhysicalPath.lean 1 declarations
• ContinuationBoundaryValues.lean 1 declarations
• ContinuousScalarCircleModel.lean 1 declarations
• ControlledComponentShrink.lean 1 declarations
• CoreCutoff.lean 4 declarations
• CountableBallSynthesis.lean 2 declarations
• CountableBandNeighborhoods.lean 2 declarations
• CountableClosedLevelCount.lean 5 declarations
• CountableJordanCollars.lean 2 declarations
• CountablePathConcatenation.lean 14 declarations
• CountablePathTimes.lean 12 declarations
• CrosscutAvoidingContinuum.lean 2 declarations
• CrosscutBoundarySeparation.lean 2 declarations
• CrosscutPathSides.lean 4 declarations
• CrosscutSeparationInput.lean 1 declarations
• CrosscutSeparationProof.lean 1 declarations
• CurveHausdorffLower.lean 5 declarations
• CurveHausdorffUpper.lean 2 declarations
• CurveLowerDistance.lean 3 declarations
• CutPathComponents.lean 3 declarations
• CutoffCore.lean 10 declarations
• CutoffStaircase.lean 8 declarations
• CyclicBoundaryCorrespondence.lean 2 declarations
• DisjointClosedNeighborhoods.lean 1 declarations
• DisjointCutoffAverages.lean 8 declarations
• DisjointSupportedHomeomorphs.lean 2 declarations
• DiskArcBoundary.lean 5 declarations
• DiskArcIndex.lean 6 declarations
• DiskArcIndexLocal.lean 5 declarations
• DiskBoundarySide.lean 2 declarations
• DiskCentering.lean 9 declarations
• DiskCenteringHomeomorph.lean 2 declarations
• DiskComponentBoundary.lean 3 declarations
• DiskCrosscutJordan.lean 4 declarations
• DiskCrosscutSides.lean 1 declarations
• DiskCrossingInput.lean 3 declarations
• DiskCrossingProof.lean 1 declarations
• DiskFractionalMap.lean 8 declarations
• DiskLineIntegration.lean 1 declarations
• DiskRayClosed.lean 3 declarations
• DiskRayCrosscut.lean 6 declarations
• DiskRayJordan.lean 7 declarations
• DiskRayLift.lean 11 declarations
• DiskRayProper.lean 3 declarations
• DiskRaySides.lean 3 declarations
• DiskRayTranslates.lean 4 declarations
• DiskRemainder.lean 4 declarations
• DomainPathAdmissibility.lean 6 declarations
• DomainPhysicalPaths.lean 6 declarations
• DyadicOpenCover.lean 4 declarations
• DyadicPathApproximation.lean 8 declarations
• DyadicPathReplacement.lean 6 declarations
• EmbeddedPathTags.lean 6 declarations
• EmbeddingComponent.lean 1 declarations
• EntireHomeomorphAffine.lean 1 declarations
• EqualScaleCellSeparation.lean 1 declarations
• EuclideanPlaneCoordinates.lean 7 declarations
• ExteriorCoefficientCircle.lean 4 declarations
• ExteriorHomeomorphGerm.lean 4 declarations
• ExteriorJordanCore.lean 1 declarations
• ExteriorSeparation.lean 3 declarations
• FillingDisks.lean 1 declarations
• FinalCollarPrescribedLimits.lean 1 declarations
• FiniteBallSynthesis.lean 6 declarations
• FiniteBalloonAvoidance.lean 2 declarations
• FiniteBoundaryDetour.lean 3 declarations
• FiniteCircleChartIntersections.lean 1 declarations
• FiniteCircleGreen.lean 5 declarations
• FiniteCircleGreenProof.lean 1 declarations
• FiniteCircleStokes.lean 3 declarations
• FiniteClopenRefinement.lean 1 declarations
• FiniteCollarSeparation.lean 1 declarations
• FiniteCompactTests.lean 5 declarations
• FiniteComponentProjection.lean 4 declarations
• FiniteGatedCollarSeparation.lean 1 declarations
• FiniteIntervalSplitting.lean 1 declarations
• FiniteJordanModelInput.lean 3 declarations
• FiniteJordanShrink.lean 2 declarations
• FiniteJordanUniformization.lean 2 declarations
• FiniteJumpCompactness.lean 1 declarations
• FiniteLevelComponents.lean 1 declarations
• FiniteMeshCompactIntersection.lean 3 declarations
• FinitePlaneEmbedding.lean 3 declarations
• FiniteSupportedHomeomorphs.lean 2 declarations
• FiniteTailDiskSeparation.lean 3 declarations
• FiniteTerminalDisks.lean 2 declarations
• FixedDiskCutoffs.lean 2 declarations
• FlattenedEndNeighborhoods.lean 1 declarations
• FreeBandNeighborhoods.lean 3 declarations
• FullIntervalTag.lean 6 declarations
• GatePenaltySeparation.lean 1 declarations
• GatedCollarSplicing.lean 2 declarations
• GatedMeanCollar.lean 1 declarations
• GatedQuotientMap.lean 5 declarations
• GenericLevelTopology.lean 2 declarations
• GeometricIndexBoundary.lean 4 declarations
• GraphBoundaryBranches.lean 3 declarations
• GraphFillingDisks.lean 5 declarations
• GreedyOpenSelection.lean 7 declarations
• HalfPlaneDisk.lean 11 declarations
• HalfPlaneDiskInverse.lean 8 declarations
• HalfPlanePathSides.lean 4 declarations
• HalfPlaneRay.lean 14 declarations
• HeightCompactness.lean 1 declarations
• HeightLevelContinuum.lean 1 declarations
• HolomorphicHomeomorph.lean 4 declarations
• HolomorphicPlaneChart.lean 3 declarations
• HomeomorphComponentTransport.lean 3 declarations
• HomeomorphRoundDiskImage.lean 1 declarations
• HomeomorphicCoordinateRange.lean 4 declarations
• HomeomorphicHeightBounds.lean 2 declarations
• HomeomorphicLevelContinuum.lean 1 declarations
• HorizontalFrontierCrossings.lean 3 declarations
• ImageCoreBoundary.lean 6 declarations
• ImageCoreJordan.lean 3 declarations
• ImageEndComponents.lean 1 declarations
• InactiveCollars.lean 5 declarations
• IndicatorPathPenalty.lean 2 declarations
• InitialCollarPrescribedLimits.lean 1 declarations
• InitialCollarSplicing.lean 1 declarations
• InnerCollarCoordinate.lean 2 declarations
• InterleavedCollarPieces.lean 7 declarations
• IntervalPath.lean 2 declarations
• IntervalPoincare.lean 3 declarations
• InverseCircleAnalytic.lean 3 declarations
• InwardFieldCollar.lean 1 declarations
• IsolatedDiskComponent.lean 2 declarations
• IteratedPathApproximation.lean 1 declarations
• JoinedAllowedPaths.lean 1 declarations
• JoinedPathTolls.lean 1 declarations
• JoinedPaths.lean 6 declarations
• JoinedPhysicalPaths.lean 8 declarations
• JordanArcComplement.lean 2 declarations
• JordanArgumentIncrement.lean 1 declarations
• JordanBoundaryBound.lean 1 declarations
• JordanCollarCountability.lean 1 declarations
• JordanContours.lean 8 declarations
• JordanControlNeighborhood.lean 1 declarations
• JordanCoreRecognition.lean 2 declarations
• JordanCrossingStability.lean 1 declarations
• JordanDiskCompression.lean 2 declarations
• JordanDiskImages.lean 5 declarations
• JordanEndComponents.lean 1 declarations
• JordanExteriors.lean 5 declarations
• JordanFillLimits.lean 4 declarations
• JordanGreenProof.lean 1 declarations
• JordanHoleSelection.lean 2 declarations
• JordanIntersectionConnectivity.lean 7 declarations
• JordanLocalSides.lean 2 declarations
• JordanSideCorrespondence.lean 5 declarations
• LastEntryContinua.lean 8 declarations
• LevelChartJordanSides.lean 1 declarations
• LevelComponentNontrivial.lean 2 declarations
• LevelQuotient.lean 6 declarations
• LimitLevelContinuum.lean 1 declarations
• LimitSphereExtension.lean 9 declarations
• LocalApproximatePaths.lean 1 declarations
• LocalInterposedCollars.lean 1 declarations
• LocalPlaneCorrection.lean 1 declarations
• LocalRoundDiskGreen.lean 1 declarations
• LocalizedCollarSplicing.lean 1 declarations
• LogarithmicDiskLift.lean 2 declarations
• LooplessPath.lean 3 declarations
• LooplessSeparatingCoordinate.lean 9 declarations
• LooplessTimeCoordinate.lean 8 declarations
• MapDiskExclusion.lean 10 declarations
• MarkedBranchNeighborhoods.lean 1 declarations
• MarkedClosedHitSplit.lean 2 declarations
• MarkedComponentLimits.lean 2 declarations
• MarkedDiskLimits.lean 6 declarations
• MeanArcIndex.lean 7 declarations
• MeanArcLocalization.lean 3 declarations
• MeanBoundaryCollar.lean 3 declarations
• MeanCircleCompatibility.lean 1 declarations
• MeanIndexBoundary.lean 5 declarations
• MeanIndexCircle.lean 6 declarations
• MeanSigmaCompactPhysicalCount.lean 1 declarations
• MergeDisks.lean 3 declarations
• MixedCircleFillings.lean 2 declarations
• MixedCollarBound.lean 2 declarations
• MixedCollarStokes.lean 1 declarations
• MixedMapDiskExclusion.lean 1 declarations
• MixedModelExhaustion.lean 2 declarations
• ModelCompactTransport.lean 3 declarations
• ModelFlattenedNeighborhoods.lean 1 declarations
• ModelHeightComponents.lean 1 declarations
• ModelOuterCutoff.lean 3 declarations
• MontelCutoffExhaustion.lean 1 declarations
• MontelCutoffFamily.lean 1 declarations
• MooreReduction.lean 6 declarations
• NestedCollarMeanExclusion.lean 1 declarations
• NestedCompactContinua.lean 1 declarations
• NestedCompactTestPlan.lean 1 declarations
• NestedEndComponents.lean 5 declarations
• NestedJordanLimits.lean 1 declarations
• NextComponentShrink.lean 4 declarations
• NondegeneratePhaseCircle.lean 1 declarations
• OneDimensionalOpenImage.lean 2 declarations
• OneEndedCollarSplicing.lean 1 declarations
• OpenDomainRepresentative.lean 7 declarations
• OpenGapIntegration.lean 1 declarations
• OpenGraphHausdorff.lean 1 declarations
• OpenMeanCorrection.lean 1 declarations
• OrderedCollarLift.lean 11 declarations
• OrderedCoordinateExhaustion.lean 1 declarations
• OrderedPhysicalCollar.lean 6 declarations
• ParallelDiskTolls.lean 5 declarations
• PathBoundaryDetour.lean 3 declarations
• PathEndpoints.lean 6 declarations
• PathGates.lean 7 declarations
• PathImageCount.lean 7 declarations
• PathImageCountMap.lean 1 declarations
• PathImageSimpleArc.lean 2 declarations
• PathLoopErasure.lean 6 declarations
• PathSelectionInput.lean 1 declarations
• PathSelectionProof.lean 1 declarations
• PathTags.lean 17 declarations
• PathTolls.lean 7 declarations
• PeriodicBoundaryPairing.lean 3 declarations
• PeriodicCircleDescent.lean 8 declarations
• PerturbedCurveTangent.lean 2 declarations
• PhaseUniformImageNeighborhood.lean 1 declarations
• PhysicalBoundaryGate.lean 2 declarations
• PhysicalCollarCoordinates.lean 3 declarations
• PhysicalFrontierCrossings.lean 5 declarations
• PhysicalPlaneCoordinates.lean 9 declarations
• PhysicalSimpleArcPortion.lean 1 declarations
• PlanarAffineRescale.lean 5 declarations
• PlanarAxisSwap.lean 9 declarations
• PlanarFilledJump.lean 1 declarations
• PlanarFormPullback.lean 4 declarations
• PlanarMapChangeVariables.lean 3 declarations
• PlanarMaximalInput.lean 1 declarations
• PlanarMaximalProof.lean 1 declarations
• PlanarPairCalculus.lean 9 declarations
• PlanarRectangleGreen.lean 1 declarations
• PlanarSchoenfliesProof.lean 2 declarations
• PlaneComponentRelation.lean 4 declarations
• PlaneCriticalFibers.lean 4 declarations
• PlaneHomeomorphFromSphere.lean 6 declarations
• PlaneQuotientRepresentative.lean 6 declarations
• PlaneRepresentativeBounds.lean 2 declarations
• PlateauNeighborhoods.lean 4 declarations
• PolarFormBoundary.lean 3 declarations
• PositiveJordanIsotopy.lean 2 declarations
• PositiveJordanOrientation.lean 3 declarations
• PositiveRegularJordanBoundary.lean 1 declarations
• PotentialPhysicalPaths.lean 2 declarations
• PrescribedJordanCore.lean 1 declarations
• PrescribedPlaneCoordinate.lean 1 declarations
• PresentedMixedExhaustion.lean 1 declarations
• PrincipalCircleRemainder.lean 3 declarations
• PrincipalHomeomorphBounds.lean 3 declarations
• PrincipalHomeomorphCompactness.lean 2 declarations
• PrincipalHomeomorphOrientation.lean 1 declarations
• PrincipalSphereCharts.lean 2 declarations
• PriorityCutoffSelection.lean 1 declarations
• ProjectedPlaneFunction.lean 6 declarations
• ProjectedRegularLevelArcs.lean 1 declarations
• ProjectionJordanCap.lean 2 declarations
• ProperBoundaryApproach.lean 3 declarations
• PuncturedPhysicalCollar.lean 1 declarations
• PuncturedSquareNeighborhood.lean 2 declarations
• QuarterCircleAverage.lean 5 declarations
• QuarterCircleSignedSubstitution.lean 2 declarations
• QuarterCircleSubstitution.lean 4 declarations
• QuotientCollarJordan.lean 2 declarations
• QuotientDiskTopology.lean 9 declarations
• QuotientFinitePlane.lean 2 declarations
• QuotientInteriorBalls.lean 2 declarations
• QuotientLocalChart.lean 2 declarations
• QuotientOrderedCollar.lean 3 declarations
• QuotientSamplingBands.lean 2 declarations
• QuotientTopology.lean 3 declarations
• RadialDiskCompression.lean 11 declarations
• RangePreservingCutoff.lean 1 declarations
• RankedTagTopology.lean 2 declarations
• RationalIntervalControl.lean 1 declarations
• RationalQuantileIntervals.lean 3 declarations
• RationalTimeIntervals.lean 7 declarations
• RayJordanSides.lean 9 declarations
• RealCircleRepresentative.lean 1 declarations
• RealCoordinateSimplePath.lean 1 declarations
• RealInjectiveOpenImage.lean 2 declarations
• RealModelExhaustion.lean 5 declarations
• RealPartBoundaryMaximum.lean 1 declarations
• RectangleNeighborhoods.lean 2 declarations
• RectifiableSubarcs.lean 6 declarations
• RecursiveCircleModels.lean 2 declarations
• RecursiveCompactReduction.lean 3 declarations
• RecursiveComponentShrink.lean 3 declarations
• RegularCurveParameterIsolation.lean 5 declarations
• RegularJordanBoundaryFlow.lean 1 declarations
• RegularJordanCollar.lean 5 declarations
• RegularJordanCollarProof.lean 2 declarations
• RegularJordanLevelComponent.lean 1 declarations
• RegularJordanParametrization.lean 3 declarations
• RegularJordanSideChoice.lean 2 declarations
• RegularLevelArcs.lean 1 declarations
• RegularLevelCompactOrbit.lean 5 declarations
• RegularLevelOpenOrbit.lean 4 declarations
• RegularPieceCompactOrbit.lean 5 declarations
• RegularPieceOpenOrbit.lean 4 declarations
• RelativePlateauNeighborhoods.lean 5 declarations
• RelativelyClosedGates.lean 8 declarations
• ReparametrizedBoundaryLowerBound.lean 2 declarations
• ReparametrizedBoundaryPairing.lean 3 declarations
• RescaledPlaneBump.lean 9 declarations
• ResidualClosedIntervals.lean 8 declarations
• ResidualOpenIntervals.lean 6 declarations
• RetainedCircleModel.lean 2 declarations
• RetainedCurveImage.lean 2 declarations
• RetainedImageBoundary.lean 2 declarations
• RetainedJordanConvergence.lean 2 declarations
• RetainedJordanSides.lean 5 declarations
• RetargetedCollars.lean 2 declarations
• ReversedBoundaryTolls.lean 4 declarations
• RoundBoundaryStability.lean 5 declarations
• RoundCircleParametrization.lean 4 declarations
• RoundCollarLifts.lean 5 declarations
• RoundCollarPeriod.lean 2 declarations
• RoundDiskCoordinates.lean 2 declarations
• RoundDiskDistance.lean 3 declarations
• RoundDiskGreen.lean 2 declarations
• RoundDiskGreenProof.lean 1 declarations
• RoundDiskSlices.lean 6 declarations
• RoundDiskStokes.lean 1 declarations
• RoundPhaseBoundary.lean 5 declarations
• RoundPhaseComponent.lean 3 declarations
• SafeGateNeighborhood.lean 1 declarations
• SaturatedDisks.lean 5 declarations
• SaturatedFrontier.lean 1 declarations
• SavedSeparatingFamily.lean 2 declarations
• ScalarCircleModel.lean 2 declarations
• ScalarQuotientDescent.lean 3 declarations
• SelectedCircleDomain.lean 1 declarations
• SeparatingChainPotential.lean 1 declarations
• ShrinkingBallNeighborhoods.lean 3 declarations
• ShrinkingBlockCompactness.lean 1 declarations
• ShrinkingJumpNeighborhoods.lean 2 declarations
• SignedScalarCircleModel.lean 1 declarations
• SimpleArcPhysicalLocalization.lean 5 declarations
• SimpleArcToll.lean 4 declarations
• SimpleArcsProof.lean 2 declarations
• SimpleLoopCircle.lean 5 declarations
• SimpleSubarcRelation.lean 3 declarations
• SimultaneousRoundCollars.lean 2 declarations
• SinglePhysicalDisk.lean 4 declarations
• SingletonDetourNeighborhood.lean 1 declarations
• SingletonPathDetour.lean 1 declarations
• SmallCollarArcs.lean 1 declarations
• SmallCompactArcReduction.lean 2 declarations
• SmallConnectedMetricSets.lean 3 declarations
• SmallPerturbationHomeomorph.lean 7 declarations
• SmallPerturbationJordan.lean 5 declarations
• SmallPhysicalDisks.lean 3 declarations
• SmallQuotientDisks.lean 3 declarations
• SmallRegularLevelArcs.lean 1 declarations
• SourceCollarStokes.lean 1 declarations
• SourceMapNeighborhood.lean 5 declarations
• SphereChartInverseControl.lean 2 declarations
• SphereChartInversePairs.lean 2 declarations
• SphereChartSmallSets.lean 3 declarations
• SphereClusterBridge.lean 3 declarations
• SphereCoefficient.lean 13 declarations
• SphereCompactFrontier.lean 4 declarations
• SphereCoreExhaustion.lean 2 declarations
• SphereJordanCoordinates.lean 8 declarations
• SphereLevels.lean 5 declarations
• SphereLocalMapContinuity.lean 1 declarations
• SphereLocalMapInjective.lean 5 declarations
• SphereModelLimits.lean 4 declarations
• SphereNeighborhoods.lean 6 declarations
• SpherePlaneContinuity.lean 4 declarations
• SphereRegularLevelArcs.lean 1 declarations
• SphereSliceChart.lean 2 declarations
• SphericalCollarSplicing.lean 3 declarations
• SphericalGridPreparation.lean 1 declarations
• SphericalSlicePointwise.lean 1 declarations
• SubarcGates.lean 5 declarations
• SubarcGenericLevels.lean 2 declarations
• SubarcIntersectionCount.lean 6 declarations
• SubarcMeanCircleCompatibility.lean 1 declarations
• SubarcPointAvoidance.lean 6 declarations
• SubordinateFillingDisks.lean 1 declarations
• SymmetricAnnulusConnected.lean 1 declarations
• SymmetricCircleAnnulus.lean 6 declarations
• TagComponents.lean 2 declarations
• TagPairTopology.lean 2 declarations
• TerminalArcSet.lean 5 declarations
• TerminalBoundaryLimits.lean 4 declarations
• TerminalDisks.lean 6 declarations
• TerminalJordanForward.lean 1 declarations
• TerminalJordanSide.lean 1 declarations
• TerminalSimpleArc.lean 1 declarations
• ThickenedContinuumDisk.lean 3 declarations
• ThinCollar.lean 4 declarations
• TranslatedDiskGreen.lean 4 declarations
• TransportedCircleCoordinates.lean 3 declarations
• TwoArcSimpleLoop.lean 1 declarations
• TwoEndedCollarSplicing.lean 2 declarations
• UniformSelectedCollar.lean 1 declarations
• UnorientedCircleGreen.lean 3 declarations
• VerticalFrontierCrossings.lean 4 declarations
• VerticalLevelCurve.lean 9 declarations