nonneg — Mathlib · SciLib

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

nonneg

Mathlib.SetTheory.Game.Impartial

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

← MathLib Explorer