colimits): Add some additional instances with permuted universe parameters (#11812)

Commit

3 years ago

fix(algebra/category/Module/colimits): Add some additional instances with permuted universe parameters (#11812)

Author

adamtopaz

Parents