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
.