next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
GradedModule ** ChainComplex -- tensor product
Synopsis
Operator:
**
Description
C**D
-- the tensor product of a graded module with a chain complex.
The result is a chain complex.