Combinatorics / CONCEPT
Preserve Both Literal Native Boundary Orders
Preserve Both Literal Native Boundary Orders.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES1
PROOF DEPTH12
DOCUMENT LINKS0
Carry Joint and Both Half Partitions Together
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Advance Both Actual Native Boundary Templates on One Cycletruth-dependency · Closed
- Fixed Protected Labels in Actual Recursive Framestruth-dependency · Closed
- Literal Native Domains for the Same Recursive Cycletruth-dependency · Closed
- Map One Cycle and Both Marked Orders Togethertruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Advance Both Actual Native Boundary Templates on One Cyclestructural-affinity · Closed
- Advance the Complete Actual Statestructural-affinity · Closed
- Fixed Protected Labels in Actual Recursive Framesstructural-affinity · Closed
- Literal Native Domains for the Same Recursive Cyclestructural-affinity · Closed
- Map One Cycle and Both Marked Orders Togetherstructural-affinity · Closed
- Promote the Same Parent Joint Partitionstructural-affinity · Closed
- Restore the Actual Native Third-Order Base Statestructural-affinity · Closed
- The Complete Actual Induction Statestructural-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