basic): Interior of `{x | f x ≤ g x}` (#10653)

Commit

4 years ago

feat(topology/algebra/ordered/basic): Interior of `{x | f x ≤ g x}` (#10653) and golf the dual one: `closure_lt_subset_le`

Author

YaelDillies

Parents