FiniteGroups / CONCEPT
Genuine corrected factor-tuple fibre lower bounds
Genuine corrected factor-tuple fibre lower bounds.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH26
DOCUMENT LINKS1
actual connected fixed cycle fibre bound
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
- Conditional all-simple small-large extensionstructural-affinity · Closed
- Conditional chosen-length centreless assemblystructural-affinity · Closed
- Lemma 4.1 with ordered genuine correctionsstructural-affinity · Closed
- Mixed component reconstructionstructural-affinity · Closed
- Movement classification and root selectionstructural-affinity · Closed
- Part II A1ScalarSupplystructural-affinity · Closed
- Part II A2ScalarSupplystructural-affinity · Closed
- Retained literal variables and fibre countingstructural-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