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