basic): Linear order (#19068)

Commit

2 years ago

feat(order/upper_lower/basic): Linear order (#19068) Upper/lower sets on a linear order themselves form a linear order.

Author

YaelDillies

Parents