mathlib3

f3378562 - feat(algebra/category): show categorical image in Module agrees with range (#12605)

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`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>