pointwise): Supremum of pointwise operations (#13669)

Commit

3 years ago

feat(algebra/order/pointwise): Supremum of pointwise operations (#13669) Pointwise operations of sets distribute over the (conditional) supremum/infimum.

Author

YaelDillies

Parents

f9c339ec

mathlib c5e13baa - feat(algebra/order/pointwise): Supremum of pointwise operations (#13669)

mathlib
c5e13baa - feat(algebra/order/pointwise): Supremum of pointwise operations (#13669)