Theorem Preorder.coconePt_mem_upperBounds

Modification history

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