Combinatorics / CONCEPT
Original labels and exact unbounded domain
Paid low V with a shifted high allocation: original-source joint lift
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH19
DOCUMENT LINKS0
The full original six-hypothesis region
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Algebrastructural-affinity · Closed
- Combinatorics: Certificatestructural-affinity · Closed
- Every independent natural 2<=c,d<a<=bstructural-affinity · Closed
- Every independent natural 2<=d<c<a<=bstructural-affinity · Closed
- Every original (a,a,d+2,d), 2<=a and a+2<=dstructural-affinity · Closed
- Every original (a,b,d+2,d), 2<=b<a, with a+3<=d or b=2 and d=a+2structural-affinity · Closed
- Every original natural 2<=a<=b=d<cstructural-affinity · Closed
- Original labels and exact unbounded domainstructural-affinity · Closed
- Strict 2<=a<b<d, d+3<=c; fallback (2,3,d+2,d), d>=4structural-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