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