OAI/Geometry/Cannon/Boundary/
223 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- BoundaryBasedRay.lean 5 declarations
- BoundaryControlledDiskCover.lean 4 declarations
- BoundaryDist.lean 11 declarations
- BoundaryEventualRelativeShrink.lean 1 declarations
- BoundaryHomeomorph.lean 54 declarations
- BoundaryLocallyConnected.lean 1 declarations
- BoundaryModulusBounded.lean 1 declarations
- BoundaryModulusSubexponential.lean 1 declarations
- BoundaryPackingRelativeTests.lean 1 declarations
- BoundaryPuncturedPathConnected.lean 2 declarations
- BoundaryRecordData.lean 1 declarations
- BoundaryUniformCirclePacking.lean 1 declarations
- BoundaryUniformComplementGraph.lean 1 declarations
- BoundaryUniformConnectedComplement.lean 1 declarations
- BoundaryUniformEmbeddedGraph.lean 1 declarations
- BoundaryUniformRingPacking.lean 1 declarations
- BoundaryUniformTriangularGraphs.lean 1 declarations
- ExpansionGlobalUpper.lean 2 declarations
- GraphPreconnected.lean 1 declarations
- GraphReachableCover.lean 2 declarations
- ImageAwayPuncture.lean 6 declarations
- PolynomialPacking.lean 6 declarations
- Thin.lean 45 declarations
- ThinQuadrilateral.lean 3 declarations
- ThreeMarksTwoMetrics.lean 4 declarations
- UnitCircle.lean 13 declarations
- VisualScale.lean 29 declarations
- VisualSynchronousPrefix.lean 9 declarations
- WordBall.lean 15 declarations