Theorem Polynomial.Monic.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) …
Deleted Polynomial.Monic.expandView on Github →
2023-05-19 00:59
Mathlib/Data/Polynomial/Expand.lean
feat: port Data.Polynomial.Expand (#4083)
Added Polynomial.Monic.expandView on Github →