Commit 2022-06-20 11:25 c5e13baa
View on Github →feat(algebra/order/pointwise): Supremum of pointwise operations (#13669) Pointwise operations of sets distribute over the (conditional) supremum/infimum.
feat(algebra/order/pointwise): Supremum of pointwise operations (#13669) Pointwise operations of sets distribute over the (conditional) supremum/infimum.