Combinatorics / CONCEPT
One physical permutation and one literal fresh ear
An eventual physical four-negative joint lift
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES6
PROOF DEPTH8
DOCUMENT LINKS0
The independent four-gap eventual family
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Combinatorics: Lowertruth-dependency · Closed
- Combinatorics: Uppertruth-dependency · Closed
- Construction and exact scopetruth-dependency · Closed
- One actual reserved label over the entire fourth-gap raytruth-dependency · Closed
- Physical labels and endpoint boundstruth-dependency · Closed
- Two independent unbounded gaps and one literal cuttruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A common phase with quantitative marginsstructural-affinity · Closed
- Combinatorics: Lowerstructural-affinity · Closed
- Combinatorics: Upperstructural-affinity · Closed
- Construction and exact scopestructural-affinity · Closed
- Construction and exact scopestructural-affinity · Closed
- Endpoint datastructural-affinity · Closed
- Endpoint datastructural-affinity · Closed
- One actual reserved label over the entire fourth-gap raystructural-affinity · Closed
- Physical labels and endpoint boundsstructural-affinity · Closed
- Physical labels and endpoint boundsstructural-affinity · Closed
- Strong bounds and literal first earstructural-affinity · Closed
- The actual old and enlarged sourcestructural-affinity · Closed
- Two independent unbounded gaps and one literal cutstructural-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