FiniteGroups / CONCEPT
Conditional all-simple small-large extension
Conditional all-simple small-large extension.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH26
DOCUMENT LINKS1
uniform twisted at max of large scalar one
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 chosen-length centreless assemblystructural-affinity · Closed
- Genuine corrected factor-tuple fibre lower boundsstructural-affinity · Closed
- Identity padding for twisted productsstructural-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
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance