Skip to content

Circles and rationals are not Toronto#1773

Open
artemetra wants to merge 2 commits into
pi-base:mainfrom
artemetra:artem/s27s170-not-toronto
Open

Circles and rationals are not Toronto#1773
artemetra wants to merge 2 commits into
pi-base:mainfrom
artemetra:artem/s27s170-not-toronto

Conversation

@artemetra
Copy link
Copy Markdown

@artemetra artemetra commented May 14, 2026

First time contributing, two easy traits. These spaces are not Toronto:

  • S000170 Circle S^1
  • S000027 Rational numbers Q

Let me know if something is wrong here, I'll gladly fix it.

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