OAI/Geometry/Cannon/Energy/
188 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- AffineRangeBounded.lean 5 declarations
- ApproxSelfSimilar.lean 6 declarations
- ChartSquareInterior.lean 3 declarations
- ClopenNeighborhoodComponent.lean 3 declarations
- DomainImage.lean 1 declarations
- Extend.lean 6 declarations
- GeometricLimitMeasureHolder.lean 1 declarations
- GeometricRecordAnnuli.lean 1 declarations
- Interior.lean 2 declarations
- LiftPath.lean 13 declarations
- MeshEnergy.lean 2 declarations
- MeshEnergySumFilter.lean 4 declarations
- MeshTransportBound.lean 2 declarations
- NormalizedModulus.lean 3 declarations
- OpenPreconnectedRemovePoint.lean 2 declarations
- PathCosts.lean 32 declarations
- Plane.lean 12 declarations
- PuncturedBallConnected.lean 2 declarations
- RawFunction.lean 20 declarations
- RecordData.lean 1 declarations
- Square.lean 49 declarations
- SquareMap.lean 8 declarations
- SquareMapRange.lean 3 declarations
- StopInside.lean 1 declarations
- StripCrossing.lean 6 declarations