turnBound_ne_zero_of_right_move — Mathlib · SciLib

∫ Утверждение Mathlib

turnBound_ne_zero_of_right_move

Mathlib.SetTheory.Game.State

URI: https://scilib.ai/kg/mathlib#SetTheory.PGame.turnBound_ne_zero_of_right_move

← MathLib Explorer