Skip to content

feat: natural multiplication is closed below ω^ω^x - #360

Open
vihdzp wants to merge 12 commits into
masterfrom
natring2
Open

feat: natural multiplication is closed below ω^ω^x#360
vihdzp wants to merge 12 commits into
masterfrom
natring2

Conversation

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

Labels

t-surreal This is mainly about surreal numbers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants