OAI/Geometry/Cannon/PlaneTopology/
714 declarations, 0 contain sorry, 0 declared as axioms; 67 files
Files
- Arc.lean 45 declarations
- BoundaryBallCover.lean 7 declarations
- BoundaryControlledEmbeddedArcs.lean 1 declarations
- BoundaryRadiusControl.lean 2 declarations
- ChartTameFaceCount.lean 1 declarations
- ClosedInside.lean 19 declarations
- ClosedInsideSegment.lean 10 declarations
- CompactifiedFace.lean 4 declarations
- Consecutive.lean 48 declarations
- ControlledDiskCover.lean 1 declarations
- CrosscutIncidenceLocal.lean 5 declarations
- Crossing.lean 35 declarations
- DevelopedFaces.lean 3 declarations
- DualGraph.lean 4 declarations
- DualGraphGaugeGraph.lean 3 declarations
- FaceClosuresCover.lean 12 declarations
- FaceHull.lean 3 declarations
- FaceHullCompact.lean 7 declarations
- FaceVerticesCard.lean 13 declarations
- FaceVerticesCardThree.lean 1 declarations
- FacewiseCompactSurjectiveRealization.lean 1 declarations
- FacialStar.lean 5 declarations
- FiniteSupport.lean 13 declarations
- FiniteVertexSet.lean 5 declarations
- FreeArcDeleteConnected.lean 6 declarations
- GraphEdgeValueCompatible.lean 4 declarations
- GraphVerticesDenseOriginal.lean 2 declarations
- HalfParam.lean 36 declarations
- Hat.lean 40 declarations
- HomeoPlane.lean 3 declarations
- IncidentEdges.lean 15 declarations
- IncidentFaces.lean 8 declarations
- InnerFlux.lean 15 declarations
- InteriorBallCover.lean 7 declarations
- InteriorRadiusControl.lean 4 declarations
- IntersectionCountEmbedding.lean 3 declarations
- IntrinsicCircleData.lean 2 declarations
- Lift.lean 41 declarations
- MetricStarFlat.lean 4 declarations
- NetArcGraphSet.lean 4 declarations
- NoSingleFaceDiscordance.lean 6 declarations
- NoncutCycleFreeRegion.lean 5 declarations
- NoncutEdgeTwoFaces.lean 4 declarations
- OtherComponentDeleteArc.lean 3 declarations
- PackingNormalizedTileBudget.lean 1 declarations
- PairComponentClosure.lean 20 declarations
- Plane.lean 9 declarations
- Portion.lean 8 declarations
- PullChartUnionCompl.lean 2 declarations
- RadialStable.lean 25 declarations
- RealizationVertex.lean 2 declarations
- RegionEdges.lean 10 declarations
- RetainedFacesSurplus.lean 1 declarations
- Reverse.lean 33 declarations
- SelectedFaceChargingCounts.lean 3 declarations
- SeparatedArcColoring.lean 2 declarations
- Spans.lean 36 declarations
- SquareSide.lean 29 declarations
- Straight.lean 25 declarations
- TameEdgeIncidenceLocal.lean 2 declarations
- TameEdgeIncidenceOpen.lean 13 declarations
- TameGraphFlatChart.lean 1 declarations
- TameInitialInterval.lean 3 declarations
- TamePairJordanRegions.lean 2 declarations
- VertexLines.lean 25 declarations
- VertexLinkOrder.lean 1 declarations
- VertexNearCard.lean 1 declarations