The story
The theorem and its proof encapsulate the main results of a theory discovered independently by R. P. Sprague (1935) and P. M. Grundy (1939).
Etymology from Wiktionary, CC BY-SA 4.0.
Sprague-Grundy theorem
Today it means: A theorem stating that every impartial game under the normal play convention is equivalent to a nimber. Full definition →