Skip to content

Toronto ordinals are discrete#1802

Open
artemetra wants to merge 3 commits into
mainfrom
artem/ordinal-toronto-is-discrete
Open

Toronto ordinals are discrete#1802
artemetra wants to merge 3 commits into
mainfrom
artem/ordinal-toronto-is-discrete

Conversation

@artemetra

Copy link
Copy Markdown
Collaborator

Toronto + Ordinal space => Discrete.
Resolves #1801, adds one more trait.

@artemetra

Copy link
Copy Markdown
Collaborator Author

Wait, this needs a bit more care. The explore link was supposed to give this chain:
image
...but instead we have a circular definition:
Screenshot 2026-06-14 at 09 44 52
That's a little embarrassing. Maybe we don't need to split finite vs infinite case at all?

@artemetra

Copy link
Copy Markdown
Collaborator Author

Fixed now and removed the dependency on the explore page, ready for review.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant