Def category_theory.unop_unop

Modification history

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