Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-16 23:59 efa6877b

View on Github →

feat(algebra/category/Module): the free/forgetful adjunction for R-modules (#6168)

Estimated changes