Def Preorder.colimitCoconeOfIsLUB

Modification history

2025-12-01 17:54

Mathlib/CategoryTheory/Limits/Preorder.lean

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

Added Preorder.colimitCoconeOfIsLUB View on Github →