OAI/Computability/VertexCover/Analysis/
428 declarations, 0 contain sorry, 0 declared as axioms; 51 files
Files
- AeRegular.lean 6 declarations
- BaseReductionCoherent.lean 11 declarations
- BatchFunctionOwnLipschitz.lean 8 declarations
- BatchGradientForm.lean 11 declarations
- BlockLawAc.lean 6 declarations
- BlockLawNegInvariant.lean 5 declarations
- CanonicalGradientInvariant.lean 6 declarations
- CanonicalGradientValid.lean 11 declarations
- DenseHighFraction.lean 3 declarations
- DenseSeparatorData.lean 2 declarations
- DistanceMinusSelect.lean 10 declarations
- ErasedSeedSeparatorAverage.lean 6 declarations
- FiniteMeanConditionBest.lean 7 declarations
- GraphComplete.lean 9 declarations
- GraphCompleteness.lean 10 declarations
- GridCentralCard.lean 23 declarations
- IndependentSecondMomentLower.lean 2 declarations
- IntegralUpdate.lean 5 declarations
- LawNegInvariant.lean 6 declarations
- ListMassHitMaximum.lean 9 declarations
- MidpointGridTail.lean 5 declarations
- OppositePairSeparatorResidual.lean 7 declarations
- OwnFiberTower.lean 4 declarations
- OwnGradientMeasurable.lean 4 declarations
- OwnGradientUnsupported.lean 10 declarations
- OwnListEnergy.lean 6 declarations
- OwnMeanPartialAe.lean 5 declarations
- OwnPrivateListsDecoding.lean 4 declarations
- OwnTotalEnergyNo.lean 6 declarations
- OwnTotalVarianceNo.lean 5 declarations
- Poincare.lean 2 declarations
- PoincareOne.lean 10 declarations
- PowerValueRepetition.lean 16 declarations
- PrivateMassSumHits.lean 8 declarations
- Restriction.lean 58 declarations
- RestrictionSum.lean 4 declarations
- RoundingError.lean 9 declarations
- SeedEnergyBudget.lean 9 declarations
- SelectedIntegralAbs.lean 5 declarations
- SeparatorBoundCube.lean 6 declarations
- SeparatorRoundingErrorAe.lean 8 declarations
- SignAtom.lean 7 declarations
- StarCellRight.lean 12 declarations
- StarEnergyBudget.lean 4 declarations
- StarMeanContinuous.lean 11 declarations
- ThresholdListEnergy.lean 11 declarations
- VarianceCoordinateSum.lean 12 declarations
- VariancePi.lean 6 declarations
- VarianceProduct.lean 8 declarations
- WeightEnergyBudget.lean 6 declarations
- ZeroMemIncidenceHull.lean 4 declarations