Combinatorics / CONCEPT
Prepending a new second-smallest entry
Let p have distinct positive entries and minimum one in its second position. Prepend two and increase every original entry other than one by one. The resulting word belongs to C if and only if p belongs to C.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH5
DOCUMENT LINKS1
Prepending a new second-smallest entry
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
- An interval crossing a fixed gapstructural-affinity · Closed
- Decreasing inflation at an early entrystructural-affinity · Closed
- Increasing inflation of the minimumstructural-affinity · Closed
- Intervals and simplicity in the terminal familiesstructural-affinity · Closed
- Intervals within a single inflated blockstructural-affinity · Closed
- Recovering a skeleton from a consecutive-value blockstructural-affinity · Closed
- Simplicity after prepending twostructural-affinity · Closed
- The five cases for a third-position minimumstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance