Def CategoryTheory.Limits.Cocone.extend

Modification history

2023-03-06 18:46

Mathlib/CategoryTheory/Limits/Cones.lean

chore: fix dot notation for CategoryTheory.Functor.mapCone (#2661) …

Modified CategoryTheory.Limits.Cocone.extend View on Github →

2023-02-24 19:54

Mathlib/CategoryTheory/Limits/Cones.lean

feat: port/CategoryTheory.Limits.Cones (#2337)

Added CategoryTheory.Limits.Cocone.extend View on Github →