polynomial): golf `polynomial.coeff_le_of_roots_le` (#16789)

Commit

3 years ago

chore(topology/algebra/polynomial): golf `polynomial.coeff_le_of_roots_le` (#16789) ... and generalize from [field F] to [comm_ring F].

Author

alreadydone

Parents