Def CategoryTheory.Coyoneda.colimitCocone

Modification history

2023-03-02 21:24

Mathlib/CategoryTheory/Limits/Yoneda.lean

feat: port/CategoryTheory.Limits.Yoneda (#2381)

Added CategoryTheory.Coyoneda.colimitCocone View on Github →