next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
cone -- mapping cone of a chain map
Ways to use
cone
:
cone(ChainComplexMap)
-- mapping cone of a chain map