Skip to content

Sorgenfrey line #1044

Open
Open
@affeldt-aist

Description

@affeldt-aist
          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)

Metadata

Metadata

Assignees

No one assigned

    Labels

    wish 🙏Request for a specific mathematical result

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions