OAI/Computability/VertexCover/Reduction/
507 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- AverageCommute.lean 17 declarations
- BatchesTripleSum.lean 8 declarations
- CloneGap.lean 35 declarations
- CompatibleSingleton.lean 21 declarations
- ConditionNested.lean 20 declarations
- CoordinateProductInvariant.lean 10 declarations
- DecodingUpperThreeHalves.lean 6 declarations
- DenseEncodingBound.lean 29 declarations
- FiniteMeanUnionBound.lean 9 declarations
- FiniteNoise.lean 7 declarations
- GraphSoundness.lean 5 declarations
- GraphSoundness2.lean 5 declarations
- GridBudget.lean 20 declarations
- HighVectorsSeparated.lean 16 declarations
- HonestLargeSumIndependent.lean 10 declarations
- HonestSelectionCompatible.lean 11 declarations
- IncrementNorm.lean 13 declarations
- IntegralCoe.lean 30 declarations
- ListHitMaximum.lean 7 declarations
- NormAttainedSupport.lean 15 declarations
- PairEventMean.lean 10 declarations
- PairHitsProbability.lean 8 declarations
- PairSeedFiberCard.lean 11 declarations
- PrivatePairProjectionRight.lean 12 declarations
- PrivateProjectionBatchLower.lean 4 declarations
- PrivateProjectionCoordinateVariance.lean 15 declarations
- PrivateProjectionGroupLower.lean 11 declarations
- PrivateProjectionSurvival.lean 7 declarations
- PrivateTotalEnergyLaw.lean 8 declarations
- ReductionSound.lean 13 declarations
- RejectionCount.lean 18 declarations
- RestrictionFrozen.lean 2 declarations
- RestrictionStarBudget.lean 27 declarations
- SeparatorContinuousSumOdd.lean 10 declarations
- SeparatorStarOscillation.lean 6 declarations
- SimpleParallel.lean 16 declarations
- Soundness.lean 11 declarations
- SourceEncoding.lean 24 declarations