Combinatorics / CONCEPT
Unique Native b Edge at a Fixed Last Label
A fixed last label determines exactly one undirected b edge in an actual complete native circle.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH3
DOCUMENT LINKS0
Exactly Two Circle Orientations Have the Anchor's Last Label
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
- Actual Native J2 Marked Portsstructural-affinity · Closed
- Closed Actual F2 Native Edge Classificationstructural-affinity · Closed
- Complete Actual F2 Edge Inventorystructural-affinity · Closed
- Complete Native Circle Cut Piecesstructural-affinity · Closed
- Complete Native T Deleted Edge Classificationstructural-affinity · Closed
- Literal F2 Cut Generators and Endpoint Labelsstructural-affinity · Closed
- Native Circle Ownershipstructural-affinity · Closed
- Prefix Reversal Triple Even Non Generationstructural-affinity · Closed
- The Five Literal Native J2 Wordsstructural-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