Commit 2020-03-14 15:02 e6ccfe03
View on Github →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