mathlib

a18f142d - feat(set_theory/game): computation of grundy_value (nim n + nim m) (#3977)