∫ Утверждение Mathlib
P124
Mathlib.SetTheory.Surreal.Multiplication
URI: https://scilib.ai/kg/mathlib#Surreal.Multiplication.P124
∫ Утверждение Mathlib
Mathlib.SetTheory.Surreal.Multiplication
URI: https://scilib.ai/kg/mathlib#Surreal.Multiplication.P124