Combinatorics / CONCEPT
Arbitrary Native J2 Frame Identification
Actual label relabelling earns arbitrary two-selected-label frame domains and all literal J2 ports without changing barred indices.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES2
PROOF DEPTH8
DOCUMENT LINKS0
Every Actual Vertex Has the Independent Frame Domain
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 Anchored Recursive Supplystructural-affinity · Closed
- Actual Big-3 Hamilton Cycle at Size Fivestructural-affinity · Closed
- Actual F2 Coverage of the Independent Insertion Layerstructural-affinity · Closed
- Actual Finite Contact Graft Iterationstructural-affinity · Closed
- Actual J2 Marked Edges in One F2 Hamilton Witnessstructural-affinity · Closed
- Actual Native J2 Marked Portsstructural-affinity · Closed
- Canonical Opposite Selected Ordersstructural-affinity · Closed
- Fixed Protected Labels in Actual Recursive Framesstructural-affinity · Closed
- One Actual Frame Cycle With All Inventoriesstructural-affinity · Closed
- Selected Terminal Labels of the Same Actual c Edgesstructural-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