Loading paper
Fusion 2-categories with no line operators are grouplike | Tomesphere