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