OAI/Combinatorics/TriangleRemoval/Process/
773 declarations, 0 contain sorry, 0 declared as axioms; 109 files
Files
- ActiveHypergraph.lean 6 declarations
- ActivePairMembership.lean 6 declarations
- Attachment.lean 12 declarations
- AveragedSingletonSurvivalError.lean 4 declarations
- AveragingProjectorInftyOne.lean 4 declarations
- BackEdgesCardSplit.lean 5 declarations
- BornEdges.lean 14 declarations
- CardBiUnion.lean 5 declarations
- CenteredEdgeVectorTriangle.lean 4 declarations
- CenteredNeighborSumBound.lean 4 declarations
- ChargesCovered.lean 6 declarations
- CommonNeighbors.lean 12 declarations
- CommonNeighborsComplete.lean 3 declarations
- CommonNeighborsMono.lean 3 declarations
- CompleteEdge.lean 16 declarations
- CompleteEdgePair.lean 15 declarations
- CopyEdgeLoad.lean 12 declarations
- CopyLoadSafe.lean 8 declarations
- DivergentArms.lean 7 declarations
- EdgeFamilyDegree.lean 7 declarations
- EdgeIncidence.lean 7 declarations
- EdgeMatching.lean 10 declarations
- EdgePairNe.lean 4 declarations
- EigenProjector.lean 4 declarations
- EigenvalueAbsRowsum.lean 3 declarations
- EvolveBindFinish.lean 4 declarations
- ExtendedLinkMulVec.lean 4 declarations
- FilteredSigmaWeightBound.lean 1 declarations
- Finish.lean 15 declarations
- FinishSupportSubset.lean 6 declarations
- FreshMemSelected.lean 4 declarations
- GraphCardSqrt.lean 3 declarations
- History.lean 21 declarations
- HistoryAdditive.lean 7 declarations
- HistoryAlive.lean 6 declarations
- HistoryCompensator.lean 6 declarations
- HistoryGraphNested.lean 7 declarations
- IncidenceDegree.lean 16 declarations
- IncidentTriangleThird.lean 4 declarations
- IndexedAttachmentOlder.lean 2 declarations
- IndexedPatternEdges.lean 3 declarations
- IndexedWitnessCode.lean 12 declarations
- IndexedWitnessCodeCard.lean 2 declarations
- InitialAssignmentSet.lean 5 declarations
- InitialAssignmentSetBound.lean 2 declarations
- InitialAssignmentSetMatching.lean 1 declarations
- LevelDeletes.lean 9 declarations
- LinkSimpleGraph.lean 9 declarations
- LocalChoiceRank.lean 7 declarations
- LongWitnessMatchingCount.lean 1 declarations
- LookupGraph.lean 6 declarations
- LookupGraphDegree.lean 4 declarations
- MapOutput.lean 14 declarations
- MatchingSeedEdgeRoots.lean 4 declarations
- MatchingSeedFullEdge.lean 3 declarations
- NonrootForest.lean 8 declarations
- OlderSeed.lean 10 declarations
- OrientedEdges.lean 4 declarations
- OverlapVertices.lean 18 declarations
- PairRequired.lean 9 declarations
- Parent.lean 13 declarations
- PathForest.lean 22 declarations
- PathPattern.lean 9 declarations
- PathRequired.lean 11 declarations
- PathRequiredBaseAppend.lean 7 declarations
- PathRequiredBaseChild.lean 3 declarations
- PathSuffix.lean 8 declarations
- PerturbationPolynomialBound.lean 2 declarations
- PlusEdgesSimple.lean 3 declarations
- PowerEulerError.lean 6 declarations
- PowersetCardTriple.lean 4 declarations
- ProgramDemand.lean 8 declarations
- ProspectiveFailure.lean 5 declarations
- RealCardFiberBound.lean 1 declarations
- ReindexQuadratic.lean 2 declarations
- ReindexSet.lean 11 declarations
- ReindexSetImage.lean 3 declarations
- RelativeCopyNoiseFirst.lean 2 declarations
- RelativeNoiseExit.lean 3 declarations
- RelativeSafeCopyIncrement.lean 8 declarations
- RelativeScaleBudget.lean 5 declarations
- Restrict.lean 6 declarations
- RestrictedParent.lean 12 declarations
- RootClosers.lean 6 declarations
- RootSet.lean 22 declarations
- SeedEdgeSubsetPath.lean 6 declarations
- SparseScalingOne.lean 3 declarations
- SuffixBoundary.lean 11 declarations
- SuffixProjection.lean 7 declarations
- TerminalLaw.lean 22 declarations
- ThreeChooseBound.lean 3 declarations
- TriangleDegreeMean.lean 18 declarations
- TriangleHypergraph.lean 7 declarations
- TriangleHypergraphLinear.lean 4 declarations
- TriangleHypergraphReindex.lean 4 declarations
- TriangleIndex.lean 14 declarations
- TriangleLiftCount.lean 11 declarations
- TriangleNoiseJumpBudget.lean 3 declarations
- TriangleThird.lean 14 declarations
- TripleFactorBounds.lean 3 declarations
- UnitLineRemainder.lean 3 declarations
- ValidAttachments.lean 8 declarations
- ValidIndexedAttachments.lean 5 declarations
- VariationConstants.lean 3 declarations
- Within.lean 7 declarations
- WitnessCountEventually.lean 1 declarations
- WitnessDimensionEquiv.lean 4 declarations
- WitnessDimensions.lean 6 declarations
- WitnessMu.lean 6 declarations