Combinatorics / CONCEPT
The entire family 2<=c<a=b
A physical joint order when the first two gaps are equal and the last is smaller
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH8
DOCUMENT LINKS0
One physical permutation and one literal fresh ear
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
- An adaptive binary grain controls both the inventory and the new chargestructural-affinity · Closed
- Binary masks and the charge of one fresh physical labelstructural-affinity · Closed
- One order for both physical sourcesstructural-affinity · Closed
- One physical permutation for both centered sourcesstructural-affinity · Closed
- One physical permutation, with the ear immediately after gammastructural-affinity · Closed
- Private arithmetic of the strict physical chamberstructural-affinity · Closed
- Private arithmetic of the strict physical chamberstructural-affinity · Closed
- The complete minimum-gap-two constructionstructural-affinity · Closed
- The complete strict chamberstructural-affinity · Closed
- The entire equal-lower familystructural-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