Def CategoryTheory.unopUnop

Modification history

2023-09-23 22:49
Mathlib/CategoryTheory/Opposites.lean
chore(CategoryTheory): swapping the names of opOp and unopUnop (#7344) …
Modified CategoryTheory.unopUnopView on Github →
2023-02-11 10:25
Mathlib/CategoryTheory/Opposites.lean
feat: port CategoryTheory.Opposites (#2195) …
Added CategoryTheory.unopUnopView on Github →