Theorem Polynomial.leadingCoeff_prod'

Modification history

2024-05-27 08:32

Mathlib/Algebra/Polynomial/BigOperators.lean

chore: Use the new `∑ i ∈ s, f i` notation (#13209) …

Modified Polynomial.leadingCoeff_prod'View on Github →

2023-03-09 14:54

Mathlib/Algebra/Polynomial/BigOperators.lean

feat: port Algebra.Polynomial.BigOperators (#2750)

Added Polynomial.leadingCoeff_prod'View on Github →