Skip to content

feat: more lemmas on Game.ofSets and Surreal.ofSets - #402

Open
vihdzp wants to merge 3 commits into
masterfrom
ofsets
Open

feat: more lemmas on Game.ofSets and Surreal.ofSets#402
vihdzp wants to merge 3 commits into
masterfrom
ofsets

Conversation

@vihdzp

@vihdzp vihdzp commented Mar 29, 2026

Copy link
Copy Markdown
Owner

No description provided.

@vihdzp vihdzp added the t-game This is mainly about combinatorial games label Mar 29, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

t-game This is mainly about combinatorial games

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants