Combinatorics / CONCEPT
Positive odd penultimate exchanges with genuine SMALL returns
Two explicit positive actual-source exchanges return the odd penultimate LARGE label and the crossing SMALL label, insert the genuinely unused n and q, and strictly lower G.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH5
DOCUMENT LINKS0
Two conditional physical exchanges and their complete inventories
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
- A full exchange retaining every old SMALLstructural-affinity · Closed
- A physical doubling packet supplies a three-LARGE exchangestructural-affinity · Closed
- Full exchange through the physical SMALL source halfstructural-affinity · Closed
- Full source completion from one actual opposite pairstructural-affinity · Closed
- Physical exchange by constructive positive SMALL returnsstructural-affinity · Closed
- Same-sign substitution with a compatible suffixstructural-affinity · Closed
- Terminal SMALL ownership and orbit transitionstructural-affinity · Closed
- Two opposite LARGE labels: the complete three-case exchangestructural-affinity · Closed
- Whole-suffix boundaries and a negative prefix pairstructural-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