Theorem Polynomial.leadingCoeff_expand

Modification history

2023-12-25 18:05
Mathlib/Data/Polynomial/Expand.lean
feat(Data/Polynomial/Expand): add `leadingCoeff_expand` and `monic_expand_iff` (#9261) …
Added Polynomial.leadingCoeff_expandView on Github →