OAI/Geometry/Cannon/PlanarGraphs/
122 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- ChartLabel.lean 10 declarations
- ClosureRegionInside.lean 2 declarations
- ComponentRegion.lean 3 declarations
- ConnectedPlanarBounds.lean 1 declarations
- CutOrder.lean 8 declarations
- EdgeGraph.lean 7 declarations
- EdgesConfinedCore.lean 1 declarations
- FiniteClosedLocal.lean 2 declarations
- FlatChartBoundaryPatch.lean 1 declarations
- GraphShear.lean 12 declarations
- HomeomorphComponents.lean 4 declarations
- IncidentSubsetPatch.lean 1 declarations
- InteriorUnion.lean 1 declarations
- NetJoined.lean 4 declarations
- Next.lean 8 declarations
- PlanarBounds.lean 1 declarations
- Plane.lean 8 declarations
- PositiveHalfAxis.lean 3 declarations
- RadialIncidenceLength.lean 2 declarations
- Region.lean 13 declarations
- RegionBoundaryHitsOpen.lean 1 declarations
- Steps.lean 2 declarations
- Support.lean 21 declarations
- TraceCard.lean 5 declarations
- TriangularCounts.lean 1 declarations