catlog::stdlib::theories

Function th_lax_monoidal_category

Source 
pub fn th_lax_monoidal_category() -> ModalDblTheory
Expand description

The theory of lax monoidal categories.