upper_lower): Thickening an upper set (#17257)

Commit

2 years ago

feat(analysis/normed/order/upper_lower): Thickening an upper set (#17257) Results about upper sets in normed ordered groups.

Author

YaelDillies

Parents