Theorem Polynomial.IsRoot.norm_lt_cauchyBound

Modification history

2024-11-06 05:05
Mathlib/Analysis/Polynomial/CauchyBound.lean
feat: prove Cauchy's upper bound on polynomial roots (#16597)
Added Polynomial.IsRoot.norm_lt_cauchyBoundView on Github →