Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-06-30 04:04 311ef8c4

View on Github →

chore(category_theory/concrete_category): reorder universes (#19222) These will make life slightly easier dealing with our universe problems. Most of these changes have in fact already been made in mathlib4, and the remainder are in https://github.com/leanprover-community/mathlib4/pull/5605.

Estimated changes