Commit 2020-10-16 00:56 b0b61e6f
View on Github →feat(order/category/omega-complete): omega-complete partial orders form a complete category (#4397) as discussed in #4348.
feat(order/category/omega-complete): omega-complete partial orders form a complete category (#4397) as discussed in #4348.