OAI/Combinatorics/CompleteCrossing/
1221 declarations, 0 contain sorry, 0 declared as axioms; 46 files
Files
- AdjacentSurgery.lean 43 declarations
- AlgebraDefs.lean 35 declarations
- Angles.lean 29 declarations
- Assembly.lean 27 declarations
- CircleArcs.lean 50 declarations
- CirclePlacement.lean 37 declarations
- Counting.lean 27 declarations
- CrossingCuts.lean 41 declarations
- CycleIdentity.lean 8 declarations
- CycleIntersections.lean 19 declarations
- CycleSpace.lean 57 declarations
- DartPaths.lean 45 declarations
- Deletion.lean 16 declarations
- DiskChords.lean 31 declarations
- DiskFilling.lean 54 declarations
- Drawing.lean 58 declarations
- DrawingMarks.lean 34 declarations
- Hill.lean 22 declarations
- Interpolation.lean 40 declarations
- Isotropy.lean 20 declarations
- LocalGeometry.lean 13 declarations
- LowerBound.lean 4 declarations
- Main.lean 6 declarations
- Normalization.lean 27 declarations
- OrderPairing.lean 10 declarations
- PairSums.lean 4 declarations
- Plane.lean 30 declarations
- Polygonalization.lean 21 declarations
- Polynomials.lean 50 declarations
- Ports.lean 29 declarations
- RadialTracks.lean 20 declarations
- Reconnection.lean 12 declarations
- Refinement.lean 13 declarations
- Residues.lean 16 declarations
- SpokePorts.lean 19 declarations
- Subdivision.lean 8 declarations
- Support.lean 7 declarations
- SurgeryIntersections.lean 20 declarations
- Tensor.lean 46 declarations
- Tracks.lean 49 declarations
- Triangle.lean 12 declarations
- TriangleFactors.lean 27 declarations
- Truncation.lean 36 declarations
- TwoPage.lean 15 declarations
- VertexChords.lean 12 declarations
- VertexEvaluation.lean 22 declarations