mathlib

e6ccfe03 - feat(algebra): the forgetful functor Module ℤ ⥤ Ab is an equivalence (#2130)

feat(algebra): the forgetful functor Module ℤ ⥤ Ab is an equivalence (#2130) * feat(algebra): the forgetful functor Module ℤ ⥤ Ab is an equivalence * oops, forgot to add file * missing conversion * not there yet * fixes * doc-strings, and remove more instances * various * oops * revert * Delete multilinear.olean.lock * revert * move instances * Remove note about a bug fixed in #1586. * whitespace Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>