Theorem Polynomial.mahlerMeasure_le_sqrt_natDegree_add_one_mul_supNorm

Modification history

2026-03-11 01:46
Mathlib/Analysis/Polynomial/MahlerMeasure.lean
feat(Mathlib/Analysis/Polynomial/MahlerMeasure): Mahler Measure estimate in terms of supNorm (#35280) …
Added Polynomial.mahlerMeasure_le_sqrt_natDegree_add_one_mul_supNormView on Github →