VertexAlgebra / CONCEPT
FirstSourceClosure
First-source original-mu closure
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES4
PROOF DEPTH31
DOCUMENT LINKS0
Closure under an actual first-source current
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 Norm-Four Zhu Algebra and Monic Cubic Presentationstructural-affinity · Closed
- Actual signed finite Jacobi coefficient transportstructural-affinity · Closed
- Actual signed Jacobi common-cube contractionstructural-affinity · Closed
- Forwardstructural-affinity · Closed
- Input translation of the actual normalized two-twisted-input fieldstructural-affinity · Closed
- LatticeHalfFockABOuterTaylorstructural-affinity · Closed
- LatticeHalfFockCollisionJacobistructural-affinity · Closed
- SectorPropagationstructural-affinity · Closed
- SourceToQstructural-affinity · Closed
- The rational inner field and its two supported ordersstructural-affinity · Closed
- Vertex Algebra: Corestructural-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