mathlib

523adb38 - feat(set_theory/game/nim): Birthday of `nim` (#13873)