Commit 2025-01-22 19:43 be72b7b0
View on Github →feat(Order/Bounds/Lattice): bounds over collections of sets (#19150) Some results about upper and lower bounds over collections of sets. Inspired by #15412, but possibly of greater interest?
feat(Order/Bounds/Lattice): bounds over collections of sets (#19150) Some results about upper and lower bounds over collections of sets. Inspired by #15412, but possibly of greater interest?