Commit 2024-11-06 05:05 06cb2ca7

View on Github →

feat: prove Cauchy's upper bound on polynomial roots (#16597)

Estimated changes

added theorem geom_sum_mul_of_le_one
added theorem geom_sum_mul_of_one_le
added theorem geom_sum_of_lt_one
added theorem geom_sum_of_one_lt
added theorem geom_sum₂_mul_of_ge
added theorem geom_sum₂_mul_of_le
added theorem geom₂_sum_of_gt
added theorem geom₂_sum_of_lt