Arith / CONCEPT
Native representatives of every ordered-menu rank
Native representatives of every ordered-menu rank
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH12
DOCUMENT LINKS0
Total original-rank representatives and height
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
- Alpha Separation and Literal Two-Hole Equalitystructural-affinity · Closed
- Delayed leaf certificates for arbitrary templatesstructural-affinity · Closed
- Discovery on a Fixed Scalar Fiberstructural-affinity · Closed
- Exact Address Certificates for Actual Tree Imagesstructural-affinity · Closed
- Finite Hereditary Patterns in Actual Tree Imagesstructural-affinity · Closed
- Native First-Disagreement Contractionstructural-affinity · Closed
- Native Leaf-History Geometry and Literal Context Recoverystructural-affinity · Closed
- Original ordered-menu branch-first codesstructural-affinity · Closed
- Prefix-menu reconstructionstructural-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