pub fn th_empty() -> UstrDiscreteDblTheoryExpand 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() -> UstrDiscreteDblTheoryThe empty theory, which has a single model, the empty model.
As a double category, this is the initial double category.