Def Preorder.semilatticeInfOfIsLimitBinaryFan

Modification history

2025-11-01 00:46
Mathlib/CategoryTheory/Limits/Preorder.lean
feat(CategoryTheory): (Co)limits in preorders (#29253) …
Added Preorder.semilatticeInfOfIsLimitBinaryFanView on Github →