OAI/Combinatorics/Ryser/LineCover/
355 declarations, 0 contain sorry, 0 declared as axioms; 45 files
Files
- CleanCover.lean 9 declarations
- CountConcentration.lean 7 declarations
- CountEvents.lean 4 declarations
- CountTailNumerics.lean 6 declarations
- CoverEstimates.lean 4 declarations
- Definitions.lean 12 declarations
- Deletion.lean 21 declarations
- DeletionDefinitions.lean 18 declarations
- DisjointPairs.lean 2 declarations
- FailureNumerics.lean 18 declarations
- FiniteFailureNumerics.lean 4 declarations
- GoodCounts.lean 7 declarations
- GoodTuples.lean 6 declarations
- HeavyIncidence.lean 3 declarations
- HighConcurrency.lean 1 declarations
- HighDegeneracy.lean 10 declarations
- HighIncidence.lean 4 declarations
- HighOccupancy.lean 2 declarations
- HighProbability.lean 5 declarations
- HighSamples.lean 16 declarations
- InjectionSampling.lean 19 declarations
- LowConcurrency.lean 9 declarations
- LowDegeneracy.lean 24 declarations
- LowOccupancy.lean 7 declarations
- Main.lean 4 declarations
- MaxConcurrency.lean 10 declarations
- MeanCounts.lean 8 declarations
- Overlap.lean 12 declarations
- PairCounting.lean 9 declarations
- PairSampling.lean 4 declarations
- Process.lean 6 declarations
- ProjectiveLift.lean 7 declarations
- Rigidity.lean 1 declarations
- RigidityNumerics.lean 11 declarations
- RigidityParameters.lean 3 declarations
- RigiditySampling.lean 1 declarations
- SamplingDefinitions.lean 6 declarations
- SamplingNumerics.lean 6 declarations
- SurvivalNumerics.lean 5 declarations
- SurvivorSampling.lean 5 declarations
- TailNumerics.lean 10 declarations
- TupleConcentration.lean 11 declarations
- TupleGeometry.lean 7 declarations
- TwoPopulationMoments.lean 6 declarations
- TwoPopulationSampling.lean 5 declarations