You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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".
The topic again popped up in the conversion of PR #1147:
"On a topological note, the "right-sided topology on R" AKA the "Sogenfrey line" captures a lot of this nicely. So you can talk about "locally in the Sogenfrey line". This has come up before, so maybe I'll write a PR to add it with the relevant lemmas for this application." @zstone1
Originally posted by @zstone1 in #677 (comment)
The text was updated successfully, but these errors were encountered: