Combinatorics / CONCEPT
Transport of the unaffected boundary product
Transport of the unaffected boundary product.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH4
DOCUMENT LINKS0
Transport of the unaffected boundary product
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Adjacent cap fibers of rooted legal pathsstructural-affinity · Closed
- Adjacent cap removal in a noncrossing matchingstructural-affinity · Closed
- Arbitrary symmetric-label cap surgerystructural-affinity · Closed
- Closed-cap compatibility and weight transportstructural-affinity · Closed
- Exact nonclosed-cap boundary potentialstructural-affinity · Closed
- Geometric exceptional states in three rowsstructural-affinity · Closed
- Insertion of an adjacent labelled detourstructural-affinity · Closed
- Label transport across closed matching intervalsstructural-affinity · Closed
- Legal-path cap fibersstructural-affinity · Closed
- Ordered noncrossing matchings and boundary labelsstructural-affinity · Closed
- Recovery of actual noncrossing partnersstructural-affinity · Closed
- The unique middle label of a reconnected capstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance