Def CategoryTheory.Limits.coconeUnopOfConeEquiv

Modification history

2026-03-23 19:49

Mathlib/CategoryTheory/Limits/Cones.lean

chore(CategoryTheory/Limits): functoriality of `coconeLeftOpOfCone` and co (#36918)

Added CategoryTheory.Limits.coconeUnopOfConeEquiv View on Github →