Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-22 12:32 e9d10674

View on Github →

feat(category_theory/opposites): isomorphism of opposite functor (#3901) Get some lemmas generated by simps and add two isomorphisms for opposite functors.

Estimated changes