OAI/Combinatorics/TriangleRemoval/Queries/
184 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- Address.lean 7 declarations
- AddressHead.lean 6 declarations
- CallPath.lean 5 declarations
- CallPathCollisionWitness.lean 2 declarations
- CanonicalCollisionSingletonSum.lean 2 declarations
- CanonicalCollisionSum.lean 2 declarations
- Child.lean 4 declarations
- ContinuationCollisionRemainderTendsto.lean 7 declarations
- FinsetCandidateOrder.lean 8 declarations
- ForkAddressesNotSuffix.lean 4 declarations
- GridCollision.lean 6 declarations
- JointMarkedQuery.lean 4 declarations
- JointMarkedQueryPair.lean 1 declarations
- KeyCandidate.lean 4 declarations
- LegalCollisionPairs.lean 6 declarations
- MarkedChild.lean 14 declarations
- MarkedChildKernelProspective.lean 3 declarations
- MarkedDemand.lean 3 declarations
- MarkedIndexedAttachmentPattern.lean 2 declarations
- MarkedRow.lean 4 declarations
- MarkedSuccess.lean 10 declarations
- MemAddressId.lean 5 declarations
- MessageCandidatesReindex.lean 3 declarations
- OrderedMarkedRow.lean 6 declarations
- OrderedMarkedRowUnweighted.lean 4 declarations
- RecordedCallForest.lean 7 declarations
- Separated.lean 5 declarations
- SplitQueryPaths.lean 6 declarations
- TreeBind.lean 36 declarations
- VertexCall.lean 8 declarations