pub fn th_empty() -> DiscreteDblTheoryExpand description
The empty theory, which has a single model, the empty model.
As a double category, this is the initial double category.
pub fn th_empty() -> DiscreteDblTheoryThe empty theory, which has a single model, the empty model.
As a double category, this is the initial double category.