Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-07 19:50 34ae62ad

View on Github →

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

Estimated changes