Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.op_id_unop

Modification history

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