Combinatorics / CONCEPT
Three same-sign SMALL labels, including adjacency
Forward physical completion with exactly three same-sign SMALL occurrences
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH7
DOCUMENT LINKS0
One complete physical word with forward LARGE cyclic order
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
- A full exchange retaining every old SMALLstructural-affinity · Closed
- Full exchange through the physical SMALL source halfstructural-affinity · Closed
- Full source completion from one actual opposite pairstructural-affinity · Closed
- Isolated SMALL labels with no bound on their numberstructural-affinity · Closed
- Native full completion with exactly two physical SMALL labelsstructural-affinity · Closed
- Same-sign substitution with a compatible suffixstructural-affinity · Closed
- Three-small block placement in the sixfold normalizationstructural-affinity · Closed
- Whole-suffix boundaries and a negative prefix pairstructural-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