Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-15 15:49 85cd3e60

View on Github →

feat(category_theory/yoneda): coyoneda.obj_op_op (#14831)

Estimated changes