Open
Description
Would it perhaps be useful to have `R with the "right-sided" topology` be a dedicated alias for `R`? Wikipedia calls R with this topology "the Sorgenfrey line".
Originally posted by @zstone1 in #677 (comment)
Would it perhaps be useful to have `R with the "right-sided" topology` be a dedicated alias for `R`? Wikipedia calls R with this topology "the Sorgenfrey line".
Originally posted by @zstone1 in #677 (comment)