notebook_
types
0.1.0
Module model
Module Items
Enums
In notebook_
types::
current
notebook_types
::
current
Module
model
Copy item path
Source
Enums
ยง
Mor
A morphism in a model of a double theory.
Ob
An object in a model of a double theory.