Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-20 13:34 d3ec77c2

View on Github →

feat(category_theory/limits): reflecting limits of isomorphic diagram (#7674)

Estimated changes