Theorem cSup_mem_of_is_closed
Modification history
2020-06-30 09:50
src/topology/algebra/ordered.lean
chore(topology/algebra/ordered): use `continuous_at`, rename (#3231) …
Deleted cSup_mem_of_is_closedView on Github →2020-06-05 07:28
src/topology/algebra/ordered.lean
feat(topology/algebra/ordered): list of preconnected sets (#2943) …
Modified cSup_mem_of_is_closedView on Github →