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

numeric_zero

Mathlib.SetTheory.Surreal.Basic

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

← MathLib Explorer