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