OAI/Combinatorics/Ryser/Construction/
554 declarations, 0 contain sorry, 0 declared as axioms; 62 files
Files
- ActualHypergraph.lean 1 declarations
- AmbientDeletionGeometry.lean 19 declarations
- AmbientDeletionNumerics.lean 8 declarations
- AmbientDeletionPoolLaw.lean 7 declarations
- AmbientDeletionProcess.lean 4 declarations
- AmbientDeletionShapes.lean 15 declarations
- AmbientDeletionSurvivors.lean 13 declarations
- AmbientDeletionTrials.lean 13 declarations
- AmbientPoolExistence.lean 2 declarations
- CoordinateCompatibility.lean 9 declarations
- CosetDirections.lean 13 declarations
- CosetIndex.lean 20 declarations
- CoverBudget.lean 11 declarations
- CoverCounting.lean 2 declarations
- CoverPencil.lean 3 declarations
- DeletionIntersection.lean 6 declarations
- DeletionLines.lean 10 declarations
- DeletionParallel.lean 5 declarations
- DeletionUnionBasic.lean 9 declarations
- DeletionUnionInside.lean 3 declarations
- DeletionUnionOutside.lean 13 declarations
- DeterministicCover.lean 2 declarations
- DirectionPlacement.lean 19 declarations
- DirectionSets.lean 17 declarations
- ExceptionalBudget.lean 3 declarations
- ExceptionalCover.lean 20 declarations
- ExtraDirections.lean 10 declarations
- FiniteInsideCover.lean 3 declarations
- FiniteOutsideAction.lean 6 declarations
- FiniteOutsideCover.lean 2 declarations
- FiniteSelectionCounting.lean 10 declarations
- GadgetAlgebra.lean 26 declarations
- GadgetConcentration.lean 3 declarations
- GadgetConsequences.lean 6 declarations
- GadgetCover.lean 3 declarations
- GadgetDefinitions.lean 13 declarations
- GadgetExistence.lean 2 declarations
- GadgetGood.lean 6 declarations
- GadgetOriginalCounts.lean 8 declarations
- GadgetOriginalDensity.lean 7 declarations
- GadgetOriginalExpectation.lean 4 declarations
- GadgetProcess.lean 19 declarations
- GadgetShapes.lean 19 declarations
- GroupBounds.lean 8 declarations
- GroupPlacement.lean 16 declarations
- GroupSelection.lean 11 declarations
- Hypergraph.lean 26 declarations
- InfiniteCover.lean 4 declarations
- Intersection.lean 11 declarations
- LabelAction.lean 5 declarations
- LinearPlacement.lean 21 declarations
- Main.lean 2 declarations
- OddGadgets.lean 1 declarations
- OrdinaryCover.lean 11 declarations
- PlacedLines.lean 8 declarations
- PlacementIntersection.lean 3 declarations
- PoolThinAsymptotic.lean 5 declarations
- PoolThinGeometry.lean 6 declarations
- PoolThinProbability.lean 9 declarations
- PoolThinSelection.lean 1 declarations
- SelectedHypergraph.lean 9 declarations
- SmallPrimes.lean 3 declarations