Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-06 07:42 3e5643e8

View on Github →

feat(category_theory/opposites): use simps everywhere (#6553) This is possible after leanprover-community/lean#538

Estimated changes