Commit 2021-02-05 12:11 e1db9093
View on Github →feat(order/filter): add lattice instance to order.ideal (#5937)
Add lattice instance to order.ideal P when the preorder P is
actually a semilattice_sup_bot (that is, when P is a partial
order with all finite suprema).