Def CategoryTheory.Functor.opUnopEquiv

Modification history

2023-07-26 17:00

Mathlib/CategoryTheory/Opposites.lean

chore: tidy various files (#5999)

Modified CategoryTheory.Functor.opUnopEquiv View on Github →

2023-02-11 10:25

Mathlib/CategoryTheory/Opposites.lean

feat: port CategoryTheory.Opposites (#2195) …

Added CategoryTheory.Functor.opUnopEquiv View on Github →