mathlib3

96b559c7 - feat(set_theory/game): grundy number of single-heap nim (#3930)