Theorem category_theory.functor.op_inv.obj
Modification history
2020-08-22 12:32
src/category_theory/opposites.lean
feat(category_theory/opposites): isomorphism of opposite functor (#3901) …
Deleted category_theory.functor.op_inv.objView on Github →