Combinatorics / CONCEPT
Three transversals of the H family
For every integer K at least nine, under the Latinness premise for the literal H square, the three displayed profiles are transversals. Every two transversals meet, although no entry belongs to all transversals.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH2
DOCUMENT LINKS1
The complete H-family theorem
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
- Cyclic Latin Eulerian Numbers Are Not Fully Symmetricstructural-affinity · Closed
- Explicit Permutation Statisticsstructural-affinity · Closed
- Latin Squares and Column Ascentsstructural-affinity · Closed
- Latinness of the literal H familystructural-affinity · Closed
- Near-Line Avoidance on the Three-Dimensional Boardstructural-affinity · Closed
- Residue Comparisons After Swapping Zero and Onestructural-affinity · Closed
- Row Counting and Row Reversalstructural-affinity · Closed
- The distinguished-entry obstructionstructural-affinity · Closed
- The Shifted-Square Ascent Formulastructural-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