Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.coyoneda.obj_op_op

Modification history

2022-07-15 15:49
src/category_theory/yoneda.lean
feat(category_theory/yoneda): coyoneda.obj_op_op (#14831)
Added category_theory.coyoneda.obj_op_opView on Github →