Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-03 18:39 30a731ca

View on Github →

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

Estimated changes