OAI/Combinatorics/TriangleRemoval/Tracking/
210 declarations, 0 contain sorry, 0 declared as axioms; 40 files
Files
- BalancedJump.lean 7 declarations
- CenteredCodegreeNeighborSum.lean 4 declarations
- CodegreeNoiseRadius.lean 3 declarations
- CodegreeRelativeNoiseTail.lean 1 declarations
- CodegreeVarianceRate.lean 6 declarations
- CodegreeVertexCount.lean 4 declarations
- GoodPrefixStarApproximation.lean 2 declarations
- GoodPrefixSurvivalMoments.lean 5 declarations
- NormalizedTrackingAbsolute.lean 4 declarations
- PolynomialExponentialPrefixEnvelope.lean 1 declarations
- PrefixBalancedNoise.lean 5 declarations
- PrefixCodeSet.lean 6 declarations
- PrefixCodegreeDriftTerm.lean 3 declarations
- PrefixCodegreeErrorExit.lean 10 declarations
- PrefixCodegreeNoiseExit.lean 2 declarations
- PrefixCodegreeNoiseGood.lean 2 declarations
- PrefixDTendstoTop.lean 4 declarations
- PrefixEdgeForcingBound.lean 5 declarations
- PrefixEdgeRadius.lean 6 declarations
- PrefixEdgeResidualBounds.lean 1 declarations
- PrefixEmbeddings.lean 13 declarations
- PrefixEmbeddingsAfterRoots.lean 2 declarations
- PrefixEmbeddingsEdgeCover.lean 1 declarations
- PrefixEpsilon.lean 28 declarations
- PrefixFailureEnvelopeSuperpolynomial.lean 2 declarations
- PrefixHorizon.lean 3 declarations
- PrefixMessageEnvelopeSmall.lean 3 declarations
- PrefixPairClosureBudget.lean 4 declarations
- PrefixSpectralErrorPower.lean 1 declarations
- PrefixTimeSquare.lean 3 declarations
- PrefixTriangleRadius.lean 3 declarations
- PrefixWeight.lean 10 declarations
- RootedCompletionMax.lean 16 declarations
- RootedCountedTracedRepeat.lean 2 declarations
- RootedExposedCollisionWitness.lean 1 declarations
- RootedInjectionEquiv.lean 3 declarations
- RootedInjectionEquivFree.lean 3 declarations
- RootedTemplateEdgesCard.lean 2 declarations
- RootedTemplateEncoding.lean 9 declarations
- TriangleDrift.lean 20 declarations