OAI/Combinatorics/HalvingLines/
1242 declarations, 0 contain sorry, 0 declared as axioms; 47 files
Files
- Activity.lean 19 declarations
- ActivityRetention.lean 20 declarations
- AtomicBounds.lean 30 declarations
- Basic.lean 12 declarations
- Batches.lean 27 declarations
- Boundary.lean 15 declarations
- BoundaryTokens.lean 32 declarations
- Calculus.lean 17 declarations
- ChainDrawing.lean 39 declarations
- Chains.lean 32 declarations
- Compactness.lean 10 declarations
- Continuity.lean 28 declarations
- CrossingEstimate.lean 45 declarations
- Curves.lean 14 declarations
- Decomposition.lean 39 declarations
- Densities.lean 26 declarations
- Derivatives.lean 32 declarations
- Directions.lean 31 declarations
- Enhancement.lean 26 declarations
- Foliations.lean 18 declarations
- Greedy.lean 36 declarations
- Intersections.lean 11 declarations
- Labels.lean 45 declarations
- LocalZoom.lean 24 declarations
- Main.lean 2 declarations
- MassEstimates.lean 25 declarations
- MeasureBounds.lean 34 declarations
- Model.lean 9 declarations
- Noncollapse.lean 19 declarations
- Packing.lean 23 declarations
- Partition.lean 37 declarations
- PathLimits.lean 18 declarations
- Perturbation.lean 43 declarations
- PlaneGraph.lean 42 declarations
- RankCoordinates.lean 44 declarations
- RankMeasures.lean 53 declarations
- Recurrence.lean 4 declarations
- Rigidity.lean 23 declarations
- SeparatedWindows.lean 10 declarations
- SpatialMass.lean 27 declarations
- Sweep.lean 43 declarations
- ThinStrips.lean 30 declarations
- Tokens.lean 16 declarations
- WindowMeasures.lean 34 declarations
- Windows.lean 37 declarations
- Zoom.lean 23 declarations
- ZoomControl.lean 18 declarations