Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-23 15:53 a7b5237d

View on Github →

feat(category_theory/arrow): arrow.iso_mk (#8057)

Estimated changes