upper_lower): Algebraic operations on upper sets (#16973)

Commit

3 years ago

feat(algebra/order/upper_lower): Algebraic operations on upper sets (#16973) An upper set contains any of its translates by a positive quantity.

Author

YaelDillies

Parents