OAI/Combinatorics/SharpRamsey/Spatial/
51 declarations, 0 contain sorry, 0 declared as axioms; 22 files
Files
- PreparedSpatialRadial.lean 4 declarations
- SpatialActualCover.lean 1 declarations
- SpatialBudget.lean 2 declarations
- SpatialCertificates.lean 2 declarations
- SpatialComplete.lean 1 declarations
- SpatialCost.lean 7 declarations
- SpatialCostsActual.lean 2 declarations
- SpatialCover.lean 1 declarations
- SpatialGeometry.lean 3 declarations
- SpatialGreedy.lean 4 declarations
- SpatialHeaderCover.lean 1 declarations
- SpatialInputBridge.lean 1 declarations
- SpatialParameters.lean 2 declarations
- SpatialPencils.lean 5 declarations
- SpatialPreparation.lean 1 declarations
- SpatialPrepared.lean 1 declarations
- SpatialPublic.lean 5 declarations
- SpatialRow.lean 1 declarations
- SpatialSourceCover.lean 1 declarations
- SpatialTraining.lean 4 declarations
- SpatialTransport.lean 1 declarations
- SpatialValidated.lean 1 declarations