pub fn th_sym_monoidal_category() -> UstrModalDblTheory
The theory of strict symmetric monoidal categories.