OAI/Geometry/Cannon/CirclePacking/
158 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- AngleGradient.lean 38 declarations
- Cycle.lean 3 declarations
- Demand.lean 4 declarations
- Det.lean 21 declarations
- OpenEuclideanFan.lean 4 declarations
- OrientedArea.lean 39 declarations
- PetalAngle.lean 17 declarations
- Radius.lean 10 declarations
- SectorRingData.lean 6 declarations
- SplitRadiusRatioTendsto.lean 4 declarations
- StrictCutsGiveAngles.lean 2 declarations
- TrianglePoint.lean 10 declarations