Definition. Cartesian product species of types [00B2]
Definition. Cartesian product species of types [00B2]
The cartesian product of two species of types and at is their pointwise cartesian product
The cartesian product of two species of types and at is their pointwise cartesian product