notebook_types::current

Module theory

Source

Enumsยง

MorType
Morphism type in a double theory.
ObType
Object type in a double theory.