dd
C.dd
-- provides the differential map associated with a chain complex C.
See also
ChainComplex
.
Go to
main index
.
Go to
concepts index
.