Skip to content

feat: enumerator functions for groups/rings/fields#371

Open
vihdzp wants to merge 4 commits intomasterfrom
enum
Open

feat: enumerator functions for groups/rings/fields#371
vihdzp wants to merge 4 commits intomasterfrom
enum

Conversation

@vihdzp
Copy link
Copy Markdown
Owner

@vihdzp vihdzp commented Mar 15, 2026

No description provided.

@vihdzp vihdzp added the t-nimber This is mainly about nimbers label Mar 15, 2026
Comment thread CombinatorialGames/Nimber/SimplestExtension/Closure.lean Outdated
Comment thread CombinatorialGames/Nimber/SimplestExtension/Closure.lean Outdated
Comment thread CombinatorialGames/Nimber/SimplestExtension/Closure.lean Outdated
Comment thread CombinatorialGames/Nimber/SimplestExtension/Closure.lean Outdated
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

t-nimber This is mainly about nimbers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants