Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-03 05:29 60ba4782

View on Github →

feat(algebra/category/Module): the category of R-modules is abelian (#3606)

Estimated changes