Arith / CONCEPT
Terminal Donor Descent
A pure prime-power class can supply a terminal prefix while the other deleted classes supply continuing prefixes, reducing the sum of the actual covering moduli.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH14
DOCUMENT LINKS1
One whole replacement preserves distinctness and oddness
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
- Adjacent Prime-Height Profile Exchangestructural-affinity · Closed
- Arith: Arithmetic Coordinatesstructural-affinity · Closed
- Complete Prefix Liabilitystructural-affinity · Closed
- Concentrated Prime Singletonsstructural-affinity · Closed
- Fixed Collision Exceptionsstructural-affinity · Closed
- Fresh Prime-Power Height Boundstructural-affinity · Closed
- Height-Coded Prime Absorptionstructural-affinity · Closed
- Large Concentrated Prime Descentstructural-affinity · Closed
- Prime-Root Compression and Original Inventorystructural-affinity · Closed
- Private Encloser Descentstructural-affinity · Closed
- Private Region Rephasingstructural-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