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

moveRight_memᵣ

Mathlib.SetTheory.PGame.Basic

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

← MathLib Explorer