mathlib

34ae62ad - feat(algebra/homology): functoriality of induced maps on cycles (#2338)

feat(algebra/homology): functoriality of induced maps on cycles (#2338) * feat(algebra/homology): Functoriality of induced maps on cycles * Rename cycles to cocycles, induced_maps_on_cocycles_functor to kernels_functor * update names Co-authored-by: Scott Morrison <scott.morrison@anu.edu.au> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>