Def Preorder.limitConeOfIsGLB

Modification history

2025-12-01 17:54
Mathlib/CategoryTheory/Limits/Preorder.lean
feat(CategoryTheory): improve API for limits in preorders (#32178)
Added Preorder.limitConeOfIsGLBView on Github →