Def CategoryTheory.Limits.coconeOfConeRightOp

Modification history

2023-03-09 12:59

Mathlib/CategoryTheory/Limits/Cones.lean

chore: tidy various files (#2742)

Modified CategoryTheory.Limits.coconeOfConeRightOp View on Github →

2023-02-24 19:54

Mathlib/CategoryTheory/Limits/Cones.lean

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

Added CategoryTheory.Limits.coconeOfConeRightOp View on Github →