Recurrence / CONCEPT
Finite companion defect
Constructive elimination of a finite additive reset companion.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS0
Separate domain and codomain elimination
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Divisibility of the rectangular sandpile limitstructural-affinity · Closed
- Finite integral reset defectstructural-affinity · Closed
- First-vertex cyclic companion modulestructural-affinity · Closed
- Native integral reset defectstructural-affinity · Closed
- Reset paths as numbered expanded historiesstructural-affinity · Closed
- The literal Sign ring quotientstructural-affinity · Closed
- The quarter-turn boundary recurrencestructural-affinity · Closed
- The surviving native integer odd classstructural-affinity · Closed
- Two-step reset arithmeticstructural-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