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

Commit

5 years ago

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

Author

kim-em

kim-em

Parents

Loading