Combinatorics / CONCEPT
Uniqueness of the First Decorated Description
The first decorated construction is injective, and avoidance gives its required normal form.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH6
DOCUMENT LINKS1
The initial filler prefix
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
- Cigler's Even-Strip Expansionsstructural-affinity · Closed
- Counting the First Decorated Familystructural-affinity · Closed
- Counting the Fixed Gap Tuplesstructural-affinity · Closed
- Counting Words by Their Fixed Pointsstructural-affinity · Closed
- Decorated Objects for the First Patternstructural-affinity · Closed
- Decorated Objects for the Second Patternstructural-affinity · Closed
- Finite Sums for the Arrow-Wilf Equivalencestructural-affinity · Closed
- Gap Vectors and Interleaved Wordsstructural-affinity · Closed
- Insertion and Singleton Cyclesstructural-affinity · Closed
- Inverting the Second Decorated Constructionstructural-affinity · Closed
- Partitions by Extremal Fixed Pointsstructural-affinity · Closed
- Recovering First-Pattern Decorated Datastructural-affinity · Closed
- The Arrow-Wilf Equivalencestructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance