Skip to content

[Merged by Bors] - feat(SetTheory/Game/Nim): make grundyValue a nimber #59464

[Merged by Bors] - feat(SetTheory/Game/Nim): make grundyValue a nimber

[Merged by Bors] - feat(SetTheory/Game/Nim): make grundyValue a nimber #59464

Annotations

1 warning

Add ready-to-merge label

succeeded Oct 13, 2024 in 10s