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