Module): direct limit is a colimit (#4756)

Commit

5 years ago

feat(algebra/category/Module): direct limit is a colimit (#4756) Co-authored-by: Bhavik Mehta <bhavikmehta8@gmail.com>

Author

jcommelin

Parents