Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-15 03:05 f3378562

View on Github →

feat(algebra/category): show categorical image in Module agrees with range (#12605) This just follows the existing code for the same fact in AddCommGroup. This PR is preparing for a better API for homological calculations in Module R.

Estimated changes