Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-05 15:19 92b27e12

View on Github →

feat(category_theory/discrete_category): generalize universes for comp_nat_iso_discrete (#12340)

Estimated changes