∫ Утверждение Mathlib
grundyValue_eq_iff_equiv
Mathlib.SetTheory.Game.Nim
URI: https://scilib.ai/kg/mathlib#SetTheory.PGame.grundyValue_eq_iff_equiv
∫ Утверждение Mathlib
Mathlib.SetTheory.Game.Nim
URI: https://scilib.ai/kg/mathlib#SetTheory.PGame.grundyValue_eq_iff_equiv