Loading paper
A holomorphic vertex operator algebra of central charge $24$ whose weight one Lie algebra has type $A_{6,7}$ | Tomesphere