Loading paper
Fat Hoffman graphs with smallest eigenvalue at least $-1-\tau$ | Tomesphere