OAI/Combinatorics/SharpRamsey/Geometry/
451 declarations, 0 contain sorry, 0 declared as axioms; 45 files
Files
- Card.lean 12 declarations
- EightIntersections.lean 6 declarations
- GeometricCover.lean 2 declarations
- GeometricInduction.lean 5 declarations
- HessianTangent.lean 35 declarations
- ListSourceRadial.lean 1 declarations
- MarkingGeometricClass.lean 2 declarations
- PencilGeometry.lean 34 declarations
- PreparedRadial.lean 11 declarations
- PreparedRadialBounds.lean 3 declarations
- PreparedRadialCount.lean 6 declarations
- PrimeListRadial.lean 1 declarations
- Projection.lean 35 declarations
- ProjectionCapture.lean 5 declarations
- ProjectionCenterBounds.lean 2 declarations
- ProjectionCenterTools.lean 7 declarations
- ProjectionDescription.lean 2 declarations
- ProjectionFullDescription.lean 1 declarations
- ProjectionMessageCost.lean 4 declarations
- ProjectionPublic.lean 4 declarations
- ProjectiveTransport.lean 4 declarations
- QuotientBounds.lean 3 declarations
- QuotientHeader.lean 2 declarations
- QuotientHeaderGaps.lean 1 declarations
- QuotientSupports.lean 5 declarations
- RadialExceptions.lean 5 declarations
- RadialPairCount.lean 3 declarations
- ReadyProjectiveValidation.lean 3 declarations
- ResidualSourceRadial.lean 1 declarations
- RichLines.lean 25 declarations
- ScaledTangentDot.lean 29 declarations
- SourceRadialActivation.lean 3 declarations
- SourceRadialScalar.lean 4 declarations
- SourceRadialTests.lean 5 declarations
- SourceRadialUniform.lean 2 declarations
- SourceStrongRadial.lean 3 declarations
- SpanPairLine.lean 10 declarations
- SparsePencilBounds.lean 5 declarations
- TestProjectiveTail.lean 1 declarations
- TestRadialWeights.lean 9 declarations
- TestRowPencils.lean 6 declarations
- TotalDegreeCombination.lean 39 declarations
- Triple.lean 38 declarations
- VectorMap.lean 43 declarations
- Weight.lean 24 declarations