Commit 2020-06-22 19:10 67844a81
View on Github →feat(order/complete_lattice): complete lattice of Sup (#3138) Construct a complete lattice from a least upper bound function. From a Xena group discussion.
feat(order/complete_lattice): complete lattice of Sup (#3138) Construct a complete lattice from a least upper bound function. From a Xena group discussion.