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

birthday_one

Mathlib.SetTheory.Game.Birthday

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

← MathLib Explorer