Commit 2022-02-20 00:00 fa603fed
View on Github →feat(order/category/FinPartialOrder): The category of finite partial orders (#11997)
Define FinPartialOrder, the category of finite partial orders with monotone functions.
feat(order/category/FinPartialOrder): The category of finite partial orders (#11997)
Define FinPartialOrder, the category of finite partial orders with monotone functions.