Loading paper
4-d semistrict higher Chern-Simons theory I | Tomesphere