Skip to content

feat: small predicate for sign sequences#395

Open
vihdzp wants to merge 4 commits intomasterfrom
smallsurr
Open

feat: small predicate for sign sequences#395
vihdzp wants to merge 4 commits intomasterfrom
smallsurr

Conversation

@vihdzp
Copy link
Copy Markdown
Owner

@vihdzp vihdzp commented Mar 24, 2026

No description provided.

@vihdzp vihdzp added the t-surreal This is mainly about surreal numbers label Mar 24, 2026
Comment thread CombinatorialGames/SignExpansion/Basic.lean
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