Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.unop_id_op

Modification history

2019-04-11 00:50
src/category_theory/opposites.lean
minor changes (#921)
Added category_theory.unop_id_opView on Github →