extend
extend(D,C,f0)
-- produces a lifting of a map f0 : D_0 <--- C_0 to a map f: D <--- C of chain complexes of degree 0.
Go to
main index
.
Go to
concepts index
.