mathlib
3e5643e8 - feat(category_theory/opposites): use simps everywhere (#6553)

Commit

5 years ago

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

Author

fpvandoorn

Parents