We prove that several equivalent definitions of the Sprague–Grundy function coincide (an exercise given in a course on combinatorial games given by Aviezri Fraenkel).