VertexAlgebra / CONCEPT
SupportedFourFieldMiddleInjectivity
SupportedFourFieldMiddleInjectivity
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH32
DOCUMENT LINKS0
Literal middle cancellation
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual four-field inner transportstructural-affinity · Closed
- Actual middle spectator transportstructural-affinity · Closed
- Finite middle spectator clearingstructural-affinity · Closed
- FourFieldMiddleInverseCoefficientsstructural-affinity · Closed
- FourFieldMiddleNativeInversestructural-affinity · Closed
- Outer native inverse kernelstructural-affinity · Closed
- Scalar lattice numerators without a Gram inversestructural-affinity · Closed
- The exact finite numerator formulastructural-affinity · Closed
- The literal balanced multiplierstructural-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