Expand description
Diagrams in models of a discrete double theory.
Type Aliasesยง
- Discrete
DblModel Diagram - A diagram in a model of a discrete double theory.
- Invalid
Discrete DblModel Diagram - A failure to be valid in a diagram in a model of a discrete double theory.