Def CategoryTheory.Limits.isLimitCoconeOp

Modification history

2024-03-26 11:50

Mathlib/CategoryTheory/Limits/Opposites.lean

chore: remove duplicates of `IsLimit.op` and variants (#11683)

Deleted CategoryTheory.Limits.isLimitCoconeOp View on Github →

2023-03-11 16:29

Mathlib/CategoryTheory/Limits/Opposites.lean

feat: port CategoryTheory.Limits.Opposites (#2805)

Added CategoryTheory.Limits.isLimitCoconeOp View on Github →