OAI/Combinatorics/SharpRamsey/Planar/
60 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- HeavyPlaneCover.lean 4 declarations
- HeavyPlaneCurrent.lean 13 declarations
- HeavyPlaneInput.lean 6 declarations
- HeavyPlanePublic.lean 9 declarations
- PlanarBoth.lean 3 declarations
- PlanarBudget.lean 5 declarations
- PlanarComplete.lean 1 declarations
- PlanarCover.lean 1 declarations
- PlanarDescription.lean 4 declarations
- PlanarGeometry.lean 1 declarations
- PlanarPublic.lean 5 declarations
- PlanarRow.lean 1 declarations
- PlanarSourceCover.lean 1 declarations
- PlanarTraining.lean 2 declarations
- PlanarUniform.lean 2 declarations
- PlanePencils.lean 2 declarations