LatticeSectorFinalLaurentFiber
Abstract
LatticeSectorFinalLaurentFiber
Definition 1.1 (leftNested).
Lean statement: D5/S3/VertexAlgebra/Sectors/LatticeSectorFinalLaurentFiber.leftNested
Formalization. D5/S3/VertexAlgebra/Sectors/LatticeSectorFinalLaurentFiber.leftNested (✓ std3).
Source. Repository-derived.
Commentary.
The actual left-nested canonical channel uses the original modes -x-1,-y-1,-z-1 and charge additions ((alpha+beta)+gamma)+delta.