Combinatorics / CONCEPT
Original physical rows of an M5 centered source
Original physical rows of an M5 centered source.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES6
PROOF DEPTH3
DOCUMENT LINKS0
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Hard source geometry and an attained initial heighttruth-dependency · Closed
- Restricted halfpower source rigiditytruth-dependency · Closed
- The first LOWER selector on the attained physical banktruth-dependency · Closed
- The original M5 source-to-word implicationtruth-dependency · Closed
- The original source-to-row bridgetruth-dependency · Closed
- Uniform factors of original centered-source rowstruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A sharp three-parent source familystructural-affinity · Closed
- Attained masks on all physical row labelsstructural-affinity · Closed
- Binary selection with actual depleted supportstructural-affinity · Closed
- Cyclic carries and zero relations of the physical circle sourcestructural-affinity · Closed
- Hard source geometry and an attained initial heightstructural-affinity · Closed
- Restricted halfpower source rigiditystructural-affinity · Closed
- The first LOWER selector on the attained physical bankstructural-affinity · Closed
- The original M5 source-to-word implicationstructural-affinity · Closed
- The original source-to-row bridgestructural-affinity · Closed
- Uniform factors of original centered-source rowsstructural-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