Def Preorder.coconeOfUpperBound

Modification history

2025-12-01 17:54

Mathlib/CategoryTheory/Limits/Preorder.lean

feat(CategoryTheory): improve API for limits in preorders (#32178)

Added Preorder.coconeOfUpperBound View on Github →