Module theory

catlog::dbl::discrete

Module theory 

Source
Expand description

Discrete double theories.

Structsยง

DiscreteDblTheory
A discrete double theory.