∫ Утверждение Mathlib
logMahlerMeasure_eq_log_MahlerMeasure
Mathlib.Analysis.Polynomial.MahlerMeasure
URI: https://scilib.ai/kg/mathlib#Polynomial.logMahlerMeasure_eq_log_MahlerMeasure
∫ Утверждение Mathlib
Mathlib.Analysis.Polynomial.MahlerMeasure
URI: https://scilib.ai/kg/mathlib#Polynomial.logMahlerMeasure_eq_log_MahlerMeasure