Math.Algebras.TensorProduct

type DSum a b

i1

i2

coprodf

p1

p2

prodf

dsume

dsumf

type Tensor a b

te

tf

assocL

assocR

unitInL

unitOutL

unitInR

unitOutR

twist

distrL

undistrL

distrR

undistrR

ev

delta

reify