Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-06 06:18 7040c50c

View on Github →

feat(category_theory): the opposite of an abelian category is abelian (#7514)

Estimated changes