∫ Утверждение Mathlib
pow_rpow_inv_natCast
Mathlib.Analysis.SpecialFunctions.Pow.Real
URI: https://scilib.ai/kg/mathlib#Real.pow_rpow_inv_natCast
∫ Утверждение Mathlib
Mathlib.Analysis.SpecialFunctions.Pow.Real
URI: https://scilib.ai/kg/mathlib#Real.pow_rpow_inv_natCast