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