Theorem Polynomial.natDegree_sum_le_of_forall_le

Modification history

2024-03-15 10:37
Mathlib/Algebra/Polynomial/BigOperators.lean
feat: add lemmas `Polynomial.natDegree_sum_le_of_forall_le` (#11381) …
Added Polynomial.natDegree_sum_le_of_forall_leView on Github →