Loading paper
Constructing symmetric monoidal bicategories | Tomesphere