mathlib
30a731ca - fix(algebra/category/Module/colimits): generalize universes (#11802)

Commit

4 years ago

fix(algebra/category/Module/colimits): generalize universes (#11802)

Author

jcommelin

jcommelin

Parents

Loading