upper_lower): The closure of an upper set (#16975)

Commit

3 years ago

feat(topology/algebra/order/upper_lower): The closure of an upper set (#16975) Topological facts about order-connected sets.

Author

YaelDillies

Parents