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

powHalf_pos

Mathlib.SetTheory.Surreal.Dyadic

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

← MathLib Explorer