Commit 2021-02-27 09:13 f33418a9
View on Github →feat(algebra/homology/chain_complex): pushforward of complex w.r.t. additive functor (#6403) This PR adds a definition for the pushforward of a homological complex with respect to an additive functor.