Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.op_op_equivalence

Modification history

2020-04-20 11:18
src/category_theory/opposites.lean
feat(category_theory/opposites): some opposite category properties (#2464) …
Added category_theory.op_op_equivalenceView on Github →