lower sets (#17746)

Commit

3 years ago

feat(order/upper_lower): `×ˢ` notation for upper/lower sets (#17746) Introduce `×ˢ` notation for `upper_set.prod` and `lower_set.prod`.

Author

YaelDillies

Parents