Theorem Lagrange.leadingCoeff_eq_sum

Modification history

2025-12-08 07:00
Mathlib/LinearAlgebra/Lagrange.lean
feat(LinearAlgebra/Lagrange): Formula for leading coefficient of a polynomial (#32359) …
Added Lagrange.leadingCoeff_eq_sumView on Github →